> How do you "checkout single files" in git? What does that mean?

    git checkout 0a123 -- <filename>

So the answer is jj restore. Thanks.

Checkout means that the version of some files at some commit is "checked out" in the worktree. So all these things are mostly the same in Git terms. The arbitrary split into switch and restore is confusing to me.