Attempt at static HTML export, gave up for now