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).