Many (most?) packages with extensive documentation offer a deb so that the documentation will be available locally. Am I right that there is no deb offering the Debian Linux Kernel Handbook? Is it reasonable to file a wishlist bug for that matter?