from the last checkin.  Non-serverpush browsers have always been sent
incorrect HTML headers, causing assorted problems (see Bug #8069 affecting
MSIE).  The code paths are very convoluted, but I think I have now
straightened them out.