I think his point is that the changes appear in the history but not in the activity stream/notifications. Note that the changes are major changes and not minor ones (which would otherwise explain why they don’t appear in the stream/notifications).
Ah, thanks. I sometimes forget that almost everything here is an extension, probably bundled by default.
So, is my initial request still valid, or is the edit effectively a minor one and is it correct that it doesn’t appear in the activity stream?
Now that I look closely, they all change in the number after the dot, hence I guess those were all minor ones. If that’s the case I don’t get why hiding minor edits in the History tab lists 1.3