Oh! That's good news. The package installer of Gentoo Linux just states nothing after the installation was finished. I will check, where the docs has been stored. For unknown reasons to me, I thought the docs were online only. Don't know, what the impression was...may be an dangling pointer or so.... ;)
Any hint how to convert the html to pdf in a way that the "upside slim" format (16:9ish ?) is respected? Cheers! Take1234