--- a/util/xml.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/xml.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -5,6 +5,7 @@
 local t_remove = table.remove;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local parse_xml = (function()
 	local ns_prefixes = {