TIL (again) that the newer and supposedly nicer way to “take all the files in PATH back to how they were at COMMIT, without changing any other files or commit history” is

  git restore --source=COMMIT PATH

I have learned and tried this before but still have the muscle memory of doing

  git checkout COMMIT PATH