Hi, Thanks for participating in this discussion. I guess the way forward is to ship a /usr/share/doc/doc-debian/README file with instructions on the various ways as posted here on how to get typesettable versions. (Or anybody has better ideas?)
Anyway, I'll try to get to that. (As always: patches welcome :) Bye, Joost PS: and on my todo list is shipping the Debian flyers as a Debian package, in order to improve discoverability of https://debian.pages.debian.net/debian-flyers/ and https://salsa.debian.org/debian/debian-flyers .