It would be great if we could provide a PDF version of the OSCAR manual, just like Julia does for its manual which is available as PDF.

Such a PDF is nice for various purposes:

• it allows full text search for terms
• it is great for offline usage
• it makes it possible to claim "OSCAR has XYZ pages of documentation" on slides ;-)

Some pointers: https://documenter.juliadocs.org/stable/man/other-formats/.