Understood. One thing I noticed is that whether you choose Disconnect or Remove, the dust-agent on GitHub never gets removed from the org.
And a small bug: if you modify the scope of an existing agent on GitHub, it correctly makes the change, but then gives "This URL was unexpectedly visited outside of the Dust Connections setup flow. Please close this window and try again from Dust." when the redirection happens. It's harmless since the change is effective, but quirky. I'm actually surprised that GitHub would even do the OAuth redirection when I'm just updating an existing agent from the GitHub UI.
