...on Jenkins to include generation of JSON and gazetteer materials; this provides an easy source from which anyone can pull updated versions when they need to, without worrying about scenarios etc. In the process, validated the diagnostics output, and found a lot of infelicities which are now fixed. Note to self: don't forget to validate HTML, even if it's transient output like this.