That's right. I would like others as well as myself to be easily able to download the PDF files without having to compile it. I tried out GitHub releases and it works okay but not great. I cannot track all the compiled PDFs I have at a single place or move them easily from one system to another like I could with GitHub repos. I am also trying to avoid getting locked into a specific service like GitHub releases.