Hiya! Just noticed: lots of our PDF-format documentation in /usr/share/doc is compressed. This doesn't really make much sense, though, as PDF is usually a compressed format to begin with, so it saves little space and makes it harder to read the files. Should we stop compressing them? Julian