Hey, #ActivityPub friends! I could use some help. My PR to let #Mastodon users filter or drop notifications from bot users is stalled while the Mastodon team considers whether the notifications page needs a redesign. github.com/mastodon/mastodon/p A bummer since I feel like it helps with a real user problem, but it's important to maintain that UI integrity, too.