@miyagawa iirc Mastodon server converts the toot text into HTML when it's posted creating A tags for URL like strings and known ActivityPub accounts. This makes it possible for the server to also send notifications to mentioned accounts. It should be possible to curl the API endpoint for each of toots to check the HTML source as stored in the server database.