We're about to change this to not only report statistics, but to also
allow the admin to perform administrative functions (such as deleting
games). So give the page a better name for that.
-/* A stats page (only available to admin users) */
-app.get('/stats/', auth_admin, (request, response) => {
+/* An admin page (only available to admin users, of course) */
+app.get('/admin/', auth_admin, (request, response) => {
let active = 0;
let idle = 0;
let active = 0;
let idle = 0;