Error-recovering functional HTML5 and XML parsers and writers
