add titles to html

update files for new layout with global pub and git

simplify html, and add the geek code

remove unnecessary files from html

Huge November 2023 update This update implements most of the changes I've been thinking about for the last half-a-year: - I wish to serve files over many protocols: http, gopher, ftp, rsync and finger, and maybe even things like gemini in future. - I wish to maintain a history of changes as a git repository. - Maintaining the above, I don't want to do more things manually than necessary. - Maintaining a sensible news feed is something I've been struggling with since beginning -- I wish to minimise that. - I've written a lot of things here while angry at the entire world. I am a much calmer person now, and wish my former frustrations gone.

add gallery page