Just a quick note to say that I’ve disabled user registration (as I see no real need for it), and have deleted the bulk of all registered users. Basically, everyone I didn’t recognize and/or who had obvious spam user names are gone. If that accidentally includes you: Apologies! But you don’t really need to be a registered user here anyway.
Back to work, nothing to see here, etc.