I’ve tried including tags for Mastodon user accounts here previously, but was never sure if the users were getting notifications. Nice that Brian Tatosky confirmed it and that he was able to reply directly.