⁂

@jerome Exactly, thank you.

Also, I just added a PR to Mastodon to let you filter or drop notifications from bots.

https://github.com/mastodon/mastodon/pull/38809

That won't come out until at least 4.6 (if it gets accepted at all), but it should make those notifications less irritating.

@deborahh @mayintoronto @PhoenixSerenity