Pre-switch-to-git snapshot, 2022-11-14.