I was beginning to lose track of where things were on the wiki, so devised https://wiki.debian.org/PrintingGlossaryandIndex -- Brian.