The people that use old.reddit are a very small minority, and many are likely already here.

Of course it’s the one instance where I accidentally capitalized my username and can’t change it to a lower case letter.