Site webpages aren't uploaded
It looks like the when the html pages are generated to public/ they're aren't preserved when we deploy the pages. Maybe this can be fixed by copying the pages to the gen directory (which is cached) like we do for the manuals. Then when the pages are deployed the gen directory is copied to public so it should include everything.