PDF version of materials #22
Description
We could consider offering a PDF file having the (some) content of the tutorial as an alternate format beside the GitHub markdown files. It could be easier to follow, at least for self-studying.
Pandoc is mentioned as a tool for the conversion as well as markdown-book.