I have a second Github account that I wish to use with co-pilot in VS Code, but it seems that VS Code does not allow multiple accounts when using this extension. Considering a second text editor now as the only option to do this. Does anyone know if Nova has extensions for GitHub and co-pilot?