* and written to a file lyxmodules.lst in the user configuration directory.
* That file is then read on startup to populate the ModuleList, below.
*
* and written to a file lyxmodules.lst in the user configuration directory.
* That file is then read on startup to populate the ModuleList, below.
*