Should 'hide revision' hide notifications about edit?


When you click ‘hide revision’ on a post revision, it hides it from the edit history, but notifications about the edit don’t get removed (at least not right away, I don’t know if there is a job doing it later). If a user clicks the notification, it doesn’t show them the hidden revision.

The revision is hidden from the post author on the post itself, so it makes sense to hide notifications that would draw attention to it.

What do others think?