Source highlighting and error message validation for module system description #525
Description
The description of the module system needs support from the manual's example code to elaborate complete modules from code blocks and check that error messages and descriptions remain up to date.
See #514.