So it's been fairly quiet today (which is normal: there tends to be a
small rush of stuff on the last Friday of the merge window is closing,
but weekends tend to calm down), and I decided that I'm not interested
in catering to anything that comes in tomorrow, and I might as well
just close the merge window and do the -rc1 release.
[2]