Alas, this means that all older posts are marked “(edited)”, but I find it hard to care very much. Maybe I’ll fix it in the next week or so? Okay, fine, I fixed it (by making sure to preserve timestamps when using rsync to copy the source files, and not using git to repopulate the files).

Sunday, July 24, 2022, 5:02:49pm PDT (edited)