Each note is one problem that took a while to understand, and what the repository does about it now. They are here because the answer lives in several files at once — a config, a script, a CI job — and none of those files is the right place to explain it.

The timings and counts come from one machine, described inThe machine, so you can tell which of them would hold on yours.