html: Fix push-parsing of empty documents Also simplify end-of-document handling in push parser. Align with pull parser.
2025-01-31T20:09:54