Package: www.debian.org "Debian User Reference Manual" (different from the "Debian Reference") is mentioned on http://www.debian.de/doc/user-manuals#userref but not on the page http://www.debian.de/doc/