checkout -> switch + restore

The command git checkout is confusing, and no longer needed.

• git switch to switch to a different branch
• git restore to restore files