G gwern.net Gwtar: A static efficient single-file HTML format 4 points gildas 9 months ago 0 comments