a bit meta, but it feels like since musk bought twitter, there have been too many shitposts/unfounded rumors about him that do not belong here.

Fun is occasionally permitted on HN. This thread is about a joke add-on in the first place, you know.