Pdf of the documentation

[josevalim]

I believe we did that and there were concerns with the file sizes or something of sorts. I can’t recall.