I had to turn off cross-posting from Mastodon. The lack of hyperlinking was too bothersome. I will just copy/paste from here when I want to cross-post. It should kind of all start from here anyway.