I just discovered some test cases that appear to indicate that ModulePrefs.toString() needs to serialize the module prefs as a well-formed XML document. Where is this functionality being used? Is it important?
Most of the code invoked by ModulePrefs.toString fails to escape XML metacharacters, so this is prone to breakage.

