"Ignore" / "Hide all messages from this user" not working as expected

[bicknrown]

Steps to reproduce

In a public room containing the user to ignore:

1. click the room name
2. click the "n members" navbar, under "Other"
3. click the user you want to ignore
4. click "Hide all messages from this user"
5. confirm by clicking "Yes" when prompted

potential additional steps that don't seem to make a difference to the issue:

• relaunching the app
• logging out and back in
• reinstalling the app

Outcome

What did you expect?

all messages, mentions, quotes, and read receipts from this user would no longer be displayed.

What happened instead?

messages from this user are no longer displayed, however,

• quotes of this user
• mentions of this user
• read receipts from this user

are still displayed.

aside about the desktop version, and screenshots.

element-desktop version 1.11.3 functions as expected.

the red box indicating the ignored user.
ios client:

the red line indicating where the ignored person would be.
desktop client:

Your phone model

iPhone 13 Pro

Operating system version

iOS 17.5

Application version

1.11.13

Homeserver

Synapse 1.108.0

Will you send logs?

No