clarify PLUGINS description, improve plugin CLI list

config.php-dist

@@ -172,8 +172,10 @@
 	// after login, or content encoding errors, disable it.
 
 	define('PLUGINS', 'note');
-	// Comma-separated list of plugins to load for all users. System plugins have to be specified
+	// Comma-separated list of plugins to load automatically for all users. 
-	// here, user plugins may be loaded per-user using Preferences/Plugins.
+	// System plugins have to be specified here.
+	// Users may enable other user plugins from Preferences/Plugins but may not
+	// disable plugins specified in this list.
 	
 	define('FEEDBACK_URL', '');
 	// Displays an URL for users to provide feedback or comments regarding

update.php

@@ -261,12 +261,23 @@
 	if (in_array("-list-plugins", $op)) {
 		$tmppluginhost = new PluginHost($link);
 		$tmppluginhost->load_all($tmppluginhost::KIND_ALL);
+		$enabled = array_map("trim", explode(",", PLUGINS));
+
+		echo "List of all available plugins:\n";
+
 		foreach ($tmppluginhost->get_plugins() as $name => $plugin) {
 			$about = $plugin->about();
 
-			printf("%-60s - v%.2f (by %s)\n%s\n\n",
+			$status = $about[3] ? "system" : "user";
-				$name, $about[0], $about[2], $about[1]);
+
+			if (in_array($name, $enabled)) $name .= "*";
+
+			printf("%-50s %-10s v%.2f (by %s)\n%s\n\n",
+				$name, $status, $about[0], $about[2], $about[1]);
 		}
+
+		echo "Plugins marked by * are currently enabled for all users.\n";
+
 	}
 
 	$pluginhost->run_commands($op);