Do you have a single username you feel attached to?
Or do you like to use different names for different occasions?
Edit two and a half days later:
Thank you all for answering my question! It was so interesting and fun to read all of your responses.
I really appreciate you for taking the time to write.
This name goes back to the early text-based multiplayer adventure games of the late 80s, when our area of the Internet was still called ARPAnet. It was originally (Felix) Hausdorff, the founder of Topology. But, Hausdorff is a lot more typing than Haus.
That’s so interesting! It really has a lot of history behind it then.
I tried to look up Hausdorff and Topology, but the wikipedia page for Hausdorff Space made my head hurt :)