# The MEntity unique ID in the HTML output
	var html_id: String is lazy do return full_name.to_cmangle