If I were literally the CEO of Mastodon I would simply not make fun of someone's name after they asked me a question and then pretend I had never heard of them despite me telling them 24 hours prior that I hated my underpaid and overworked employees