txtdot seems to choke on Mastodon URLs, such as https://mastodon.social/@fabinou ; the `/@` confuses it?