Post #1765200

Ah, has Copilot told Microsoft how to fix Github, so today it won't be gaslighting me into thinking I didn't write a PR by having it not appear in the list of PRs, like it did yesterday? (I do *feel* like I recall Github working better before it was bought by a major cloud company...)