FWIW, I posted it as old.reddit.com initially because I have the extension that redirects everything. It somehow got reverted to regular reddit.com.