--- autoadmin.py.dist	2010-06-26 23:46:44.000000000 +0200
+++ autoadmin.py	2010-09-01 15:29:17.000000000 +0200
@@ -73,7 +73,7 @@
             username = request.user.name
             pagename = request.page.page_name
             mainpage = pagename.split('/')[0]
-            if username == mainpage and username in groups.get(u'AutoAdminGroup', []):
+            if username == mainpage and (username in groups.get(u'AutoAdminGroup', []) or u'Known' in groups.get(u'AutoAdminGroup', [])):
                 return True
             group_name = "%s/AdminGroup" % mainpage
             if (username in groups.get(group_name, []) and