PDF version of docs for v0.6?

My opinion is that a PDF is single file, which make it easier to handle. They are also easier to search for keywords than a mirror of an HTML website.