Add note on edit filter managers

thesis/4-Edit-Filters.tex

@@ -202,6 +202,11 @@ As of May 10, 2019, there are 154 users in the ``edit filter managers'' group\fo
 Out of the 154 edit filter managers only 11 are not administrators.
 
 \begin{comment}
+Quite some of the 154 edit filter managers have a kind of "not active at the moment" banner on their user page.
+How many new editors have gotten the permission in recent time?
+Otherwise the group is apparently aging..
+
+
 CAT: https://ca.wikipedia.org/wiki/Especial:Usuaris/abusefilter (currently: 4 users)
 
 -- auf Spanisch/Deutsch/Russisch existiert die Rolle nicht; interessant zu wissen, ob sie iwo subsumiert wurde