Gwtar: A static efficient single-file HTML format