+###--------------------------------------------------------------------------
+### Main source files.
+
+## There's a base set of files, and a number of optional modules. A
+## collection of modules is called a `mode', and we generate an output file
+## for each required mode.
+