OK I have a PR for this.
@Falco / @featheredtoast should we merge it?
https://github.com/discourse/discourse/pull/25099
If we need to skip push notifications we got to do it on the server not the client. Collapsing logic was always somewhat questionable, apps don’t tend to do that.