# For mentities the main tab is the doc tab
	redef var main_tab = new DocTab("doc", "Doc", true, "book")