ANNOUNCE: docbook-lint: a tool for checking DocBook source files