More miscellaneous silly XML cleanups.
Update HTML and TXT.