* Adding a "display language" option + separating some pages to import language-specific text
* Removing grffile, not needed after the latest fix in LaTeX2e 2019-10-01 Patch Level 2
* Trying a new version fetch strategy
* Sharing caches between runs. This should reduce build times significantly!
* Changing structure to load snippets from external files
* Refactoring to include both haskell and scala snippets together!
* Adding Scala snippets
* Tweaking page margins
* Refactoring additional language content to be load conditionally
* Adding scala-specific build
* Housekeeping
* More font tweaks
* Adding two separate settings for printing in US-trade (6x9 book) and 10” reader
* Printing version information
* Tweaking images in print layout
* Housekeeping
* Tweaking cover (based on the HoTT book)
