Collapsed /configs into /devices (or in some cases, /apps or /disks), simplifying the structure a bit

my_modules/shared/lib/embed.js

@@ -129,7 +129,7 @@ function parseXML(sXML, sXMLFile, idMachine, sStateFile, fResolve, display, done
         }
         /*
          * If the resource we requested is not really an XML file (or the file didn't exist and the server simply returned
-         * a message like "Cannot GET /configs/pc/machines/5150/cga/64kb/donkey/index.xml"), we'd like to display a more
+         * a message like "Cannot GET /devices/pc/machine/5150/cga/64kb/donkey/machine.xml"), we'd like to display a more
          * meaningful message, because the XML DOM parsers will blithely return a document that contains nothing useful; eg:
          *
          *      This page contains the following errors:error on line 1 at column 1:

my_modules/shared/lib/weblib.js

@@ -284,7 +284,7 @@ web.loadResource = function(sURL, fAsync, data, componentNotify, fnNotify, pNoti
  *
  * @param {string} sApp (eg, "PCjs")
  * @param {string} sVer (eg, "1.02")
- * @param {string} sURL (eg, "/configs/pc/machines/5150/mda/64kb/index.xml")
+ * @param {string} sURL (eg, "/devices/pc/machine/5150/mda/64kb/machine.xml")
  * @param {string} sUser (ie, the user key, if any)
  * @param {string} sType (eg, "bug"); one of ReportAPI.TYPE.*
  * @param {string} sReport (eg, unparsed state data)

my_modules/shared/templates/common.html

@@ -22,7 +22,7 @@
 						<li><a href="/">Home</a></li>
 						<li><a href="/apps/pc/">Apps</a></li>
 						<li><a href="/disks/pc/">Disks</a></li>
-						<li><a href="/configs/">Machines</a></li>
+						<li><a href="/devices/">Machines</a></li>
 						<li><a href="/docs/">Docs</a></li>
 						<li><a href="/pubs/">Pubs</a></li>
 						<li><a href="/blog/">Blog</a></li>

my_modules/shared/templates/common.xsl

@@ -22,7 +22,7 @@
 					<li><a href="/">Home</a></li>
 					<li><a href="/apps/pc/">Apps</a></li>
 					<li><a href="/disks/pc/">Disks</a></li>
-					<li><a href="/configs/">Machines</a></li>
+					<li><a href="/devices/">Machines</a></li>
 					<li><a href="/docs/">Docs</a></li>
 					<li><a href="/pubs/">Pubs</a></li>
 					<li><a href="/blog/">Blog</a></li>