I think I might have found a bug in the PHP standard library function `class_exists()`. No security implications that I can see... but... Well... this means that in the unlikely case that I'm right and there is a bug, I'll have to reactivate the Github account that I abandoned 8 years ago. Damnit.