I can't think of too many occasions when you'd actually want to convert the HTML navigation menu, header, or footer to another format.

This would yield much cleaner conversions.