diff --git a/html/inc/db.inc b/html/inc/db.inc
index 0238e80475..aec1d50c35 100644
--- a/html/inc/db.inc
+++ b/html/inc/db.inc
@@ -18,11 +18,9 @@
require_once("../inc/util_basic.inc");
-// database-related functions.
-// Presentation code (HTML) shouldn't be here
-
-// DEPRECATED; use boinc_db.inc instead.
-// TODO: replace calls to these functions
+// functions for doing arbitrary SQL queries, including joins.
+// When possible, use the classes in boinc_db.inc instead.
+// Lots of old code uses these functions, e.g. in ops/
// use mysqli if available,
// but let projects not use it if they want
diff --git a/html/inc/user.inc b/html/inc/user.inc
index e3f5a41224..94042204fb 100644
--- a/html/inc/user.inc
+++ b/html/inc/user.inc
@@ -495,6 +495,10 @@ function show_community_private($user) {
} else {
row2(tra("Friends"), '---');
}
+
+ if (is_admin($user)) {
+ row2('Special users', 'Manage');
+ }
}
// show summary of dynamic and static info (public)
diff --git a/html/user/user_permissions.php b/html/user/user_permissions.php
index cd3e9fa404..b86bb60eba 100644
--- a/html/user/user_permissions.php
+++ b/html/user/user_permissions.php
@@ -25,88 +25,80 @@ function user_permissions_form() {
page_head('Manage user privileges');
start_table('table-striped');
- row1("Current special users", 99);
- echo "