docs: function() {
  			this._domloaded = true;
  			gui.$initialize();
  			gui.spacenames();
  			this._configure(gui.namespaces());
  			doaction(gui.ACTION_DOC_ONDOMCONTENT, location.href);
  			dobrodcast(
  				gui.BROADCAST_TODOM, // intercepted in gui.extensions.js (if bundled)
  				gui.BROADCAST_ONDOM // hm.....
  			);
  		}