This includes the changes in the `bafd1::233b31f` range which
all apply to version v0.9.0 and cherry-picked changes from 5fc71.
I don't plan to make any more update like these.
Automatic title:
Deployed 01dc2d1e to v0.9.0 with MkDocs 1.5.2 and mike 1.1.2