This means for example that people can vandalize articles as much as they want and then simply request e.g. Citation bot to fix a few minor issues in the article to hide their changes from people's watchlists. It's certainly not what many if not most users trying to hide bot edits from the watchlist through checking "Human (not bot)" think will happen. So this is really very important, can't believe it's apparently open since 2007 and was in the Wishlist in 2016 – since there is a patch what is the problem with it? Even disabling the bot edits filter until there is a better solution would be better than doing nothing.
Probably the item in the Watchlist should be sorted chronologically according to the last human edit so it would be further down and the edit summary shown there the last human edit (when one clicks on the diff button it would show the last human edit, not the latest edit which is some bot edit). A Watchlist feature to see a diff of all changes of an article with one click as well as a way to exclude edits by e.g. Citation bot, InternetArchiveBot and OAbot from diffs (esp. such large diffs) are also needed.

Ugh, and it seems to have spread to a couple of other places… I don't think I have it in me to try to replace it everywhere. I guess it's supported now.

Change #1072550 merged by jenkins-bot:

[mediawiki/core@master] CSS of Active filters is overriden if OOUI styles are loaded after it

https://gerrit.wikimedia.org/r/1072550

Yeah, I used mw.loader.load('oojs-ui-widgets.styles') only to point to the culprit, the actual problem occurred with Phonos.

Then the problem is with Phonos, added for T345414.

You won't have this problem if you use oojs-ui-widgets instead of oojs-ui-widgets.styles.

Change #1072550 had a related patch set uploaded (by Kgraessle; author: Kgraessle):

[mediawiki/core@master] CSS of Active filters is overriden if OOUI styles are loaded after it

https://gerrit.wikimedia.org/r/1072550

J’avoue ne pas comprendre.
Vous me suggérez de retirer des pages de la liste de suivi?
Alors que je vous parlais d’onglets qui ont disparus dans la liste.
En clair, je vous parlais Forme et vous me répondez Fond.
Chaque fois que je contribue à une page je m’inclue dans ma liste de suivi…qui ne peut donc qu’augmenter.
De plus aucune des pages relevées par vos soins ne commence par « wikipedia : »…
Enfin, vous m’apprenez que des fonctionnalités étaient seulement réservées à mon attention, à mon compte.
Je n’aurai jamais imaginé cela et ça me surprend.
Mon problème reste irrésolu et je continue à en souffrir tous les jours.

Le problème vient du fait que vous utilisez toujours une fonctionnalité qui n'est pas maintenue, pour laquelle nous avons suggéré des modifications rien que pour vous. Ce n'était pas une solution à long terme.

Change #1069706 had a related patch set uploaded (by Wargo; author: Wargo):

[mediawiki/core@master] Allow (un)watch restricted pages

https://gerrit.wikimedia.org/r/1069706