# The current highlight module
	#
	# It is used to know when to use anchored local links
	var current_module: MModule