Mentions from blocked and muted users still show up in notifications on mobile
If you block and mute a user, then have that user mention you, you will still receive notifications in apps such as Roma. "Hide posts of muted users" hides the notifications on pleromafe but does not impact apps. Currently on commit 653054d3.