Make it clear this is unofficial

configs/user.config.php

@@ -1,10 +1,7 @@
 <?php
 
-// Basic configuration
-
-
 // Title of manual, to appear in header and page title
-$config["title"] = "User Guide";
+$config["title"] = "The Unofficial User Guide";
 
 // Directory (relative to render.php) where html pages are located
 $config["html_dir"] = "html/user";