Thanks, MCP, I've copied and referenced your reply to answer my query about printed manual in box.
I like to curl up with a manual, explore the by-ways and appendices, tuck interesting things into the back of my mind: A quorum of cats is optional...
Ah, yes, I appreciate that a PDF may be a later version than dead-tree, and is 'searchable', and I use it as such, but a book is a book...