chiark / gitweb /
[dev-ref] consistency fix: DocBook tags and s/pseudopackage/pseudo-package/