docs: function(type) {
  		new edb.Crawler().crawl(type, {
  			ontype: function(t) {
  				if (!t.$destructed) {
  					type.ondestruct();
  					type.$ondestruct();
  					type.$destructed = true;
  					if (!gui.unloading) {
  						gui.GreatSpirit.$nukeallofit(type);
  					}
  				}
  			}
  		});
  	}