I wrote in part:
But we can decide now to accept <tt> and <table> forever -- always parsing them into whatever output markup language is current (*not* leaving them unparsed as we do today).
The parenthetical comment is obsolete -- ignore it. Thanks, Brion!
-- Toby