docs: function(module) {
  		if (gui.Type.isObject(module.mixin)) {
  			gui.Spirit.mixin(module.mixin);
  		}
  		if (gui.Type.isArray(module.channel)) {
  			gui.channel(module.channel);
  		}
  		if (gui.Type.isObject(module.plugin)) {
  			gui.Object.each(module.plugin, function(prefix, Plugin) {
  				if (gui.Type.isDefined(Plugin)) {
  					gui.Spirit.plugin(prefix, Plugin);
  				} else { // TODO: move check into gui.Spirit.plugin
  					console.error("Undefined plugin for prefix: " + prefix);
  				}
  			});
  		}
  	}