Thanks everybody for reporting this issue. It has now been resolved. PDF downloads are now built with GitHub Pages.
Thanks everybody for reporting this issue. It has now been resolved. PDF downloads are now built with GitHub Pages.