Question: We have production builds on the repo? 😱

[gptkrsh]

The pdf version of this is not a good idea to store on the repo, this yes should be available as a binary but just not be on the repo

[loftwah]

TODO: Do this as a proper release. Sadly this is what I did first, but I didn't understand how it worked properly and couldn't find where the file went. I explicitly made this mistake 😅