docs: function ( src ) {
  		var cuts = src.split ( "/" );
  		var name = cuts.pop ();
  		var dots = src.split ( "." );
  		var type = dots.pop ();
  		new gui.Request(src).acceptText().get().then(function(status, data) {
  			this._output(name, type, data);
  		}, this);
  	}