Preparing a talk featuring Git restore, and got thinking about reset/revert/restore https://jvns.ca/blog/2023/11/01/confusing-git-terminology/#reset-revert-restore