documentation: Converted regular comments into latex comments up to the module elaboration, alphabetically.