Hi, maybe I’m not looking in the right place, but a colleague asked me whether I saw its recent edit, that I missed.
Here’s the page history:
but there’s no sign of it in his activity stream (page edited about one week ago, the stream arrives to months ago):
Neither in my notifications (though these may be the most recent, I didn’t find them elsewhere):