Author: ian2
Description:
Preferences | Watchlist "Hide bots", stops displaying a page on the Watchlist, even if there have been recent edits by editors.
I think what it should do, is "Ignore bots", ie. display a page on the watchlist, showing the most recent non-bot edit.
"Hide minor edits" may have the same behaviour, when I think we mean "Ignore minor edits", which is slightly different.
Version: 1.23.0
Severity: enhancement