I asked this question yesterday, and some seven hours later, a small edit was made to it by another user. However, I was not notified - there was no red notification bubble, and nothing was added to my inbox messages.
Is this a bug, or are edits from high-rep users not notified? The editor in this case has 40K of rep, I wonder if that is relevant?
To be clear, I am not complaining about the edit, just wondering if I have encountered a buglet?