Error-recovering streaming HTML5 and XML parsers
