Hi Mark,
This is interesting. I didn't even realize that it is not a notification preference. Especially there is a notification setting even for reactions (likes), so this is really interesting.
I will post a suggestion in the software forum, and let's see what they are going to say. If they don't consider implementing it, then we try to solve it at our side.
Thanks.