[gwern]

No, I was quite serious. I just checked, and the most recent account IDs are actually now in the 15,000 and 16,000s.

Seriously people, sometimes 'over 9000' is just a literal statement of truth and not a meme!