Mild shitpost, but I'd be interested to see what my 'user ID' is if such a thing exists. I remember seeing that around 50 people were subscribed to the defaults when I joined, but it'd be kinda neat to have an exact number. I'm hoping this is an utterly trivial question for the admins to answer, but if not, please don't feel obliged to waste any time on this :)