Without taking a position on the current proposal, using xhtml
for "dump" files has some further advantages:
* Can use hyperlinks, for example from a reference to the declaration,
or from a variable to its type.
* Can use JavaScript to hide/unhide sections of the dump.
* Can use CSS to switch between display styles. This can be
done dynamically with a smidgen of JavaScript.
* Can more easily convert to other formats, or select only desired
elements, using some suitable XML processor such as xsltproc.
--
--Per Bothner
per@bothner.com http://per.bothner.com/