Today in silly matrix findings: you can have a user with only a single / in the localpart. which now means i now have a @/:is-a.cat user on my instance.
The requirements say that the only characters allowed are [a-z0-9._=/-] and that there must be one or more characters, but noone made a distinction for which characters the localpart can start with. The other characters would probably work as well :blobcatjoy:
I suppose the / was added to the list of allowed characters in localpart to make mapping usernames to kerberos realms easier :blobcatshrug:
here's the spec, if anyone's interested:
https://spec.matrix.org/v1.1/appendices/#user-identifiers