Gwtar: A static efficient single-file HTML format – Gwern.net