(I edited the title half an hour after submitting, solely to remove the octothorpe (#). The reason is because Mastodon has HN bots which are retooting this thre

(I edited the title half an hour after submitting, solely to remove the octothorpe (#). The reason is because Mastodon has HN bots which are retooting this thread, and the literal # is causing the retoots to be interpreted as hashtag-using and polluting the submitted page with spam). (Sorry!)