The CircleCI server docs are available as a PDF. Can we make the CircleCI cloud docs available as a single PDF as well? For example, many AWS docs are available as a single PDF. PDF files are great for ereaders, and allow highlighting, note taking, commenting, etc.
