BUG-12020: update docs to use `origin` as name of git remote; clarify this in text