--- a/tools/http-status-codes.lua	Fri Feb 04 20:47:39 2022 +0100
+++ b/tools/http-status-codes.lua	Fri Feb 04 21:20:48 2022 +0100
@@ -1,7 +1,7 @@
 -- Generate net/http/codes.lua from IANA HTTP status code registry
 
 local xml = require "util.xml";
-local registry = xml.parse(io.read("*a"));
+local registry = xml.parse(io.read("*a"), { allow_processing_instructions = true });
 
 io.write([[