Hi Tenchi,
No sorry, there is no PDF manual to download and print.
You can try to find a chrome extension that turn any page into PDF.
Writing documention takes a lot of time. I don't think i'll ever write such a doc.
But if anyone wants to do it, that would be great
Xavier