Intentionally omitting git checkout <tag> alternative for simplicity. Those that now how git works, will know it anyway.