That was of course not acceptable, so I reached out on Twitter.*
* For those who haven't brushed up on their history lately: Twitter used to be a social media service, back in the days. It has since been bought by a billionaire and expertly destroyed. An unexpected side effect of this was widescale migration to the fediverse, revealing this development to be a blessing in disguise.
3/16