Package: debian-policy Version: 4.1.0.0 Hi! While I'm not a very big fan of info files (even when using pinfo), it seems for now it's the only way to get section numbers w/o having to use a browser. :/ So while using it I noticed that it has been installed with an extremely generic name, for something that is a global resource. I think it should be renamed to debian-policy. Thanks, Guillem