Edit history: Role pings appear in the Inbox when the everyone filter is used and vice versa

Observed behaviour

The role ping appears in the Inbox despite setting it only for everyone pings. This issue also manifests when done the other way, where you filter only for role pings but get an @everyone ping. Speculating this may have a similar root cause as #437.

Reproduction steps

Configure your Inbox so only @everyone mentions are included
Ping yourself via a role
Open the inbox

Build information

Canary 782 (fd183ef), Host 0.0.224, Linux 7.0.7-100.fc43.x86_64 (x64), Electron 41.2.2, Chrome 146.0.7680.188, Node 24.14.1, Locale en-US

Platform

Linux

Details

Expected behaviour The role ping should not be present with the configured filtering.