Never set the class= of a table until fixup phase.
Support rows marked as deleted; delete empty tables.
Treat the fonts "Times" and "Tms Rmn" as "Times New Roman", eliminating a few formatting glitches.