My GitHub token expired, and I do not know how to set a new one.  - I don't know where it's stored. - I don't know how to force VSCode to ask me again for the token.