Cleanup old embedder extension servers
Open
ui
- Dominant language
- C++
- Stars
- 6.5k
- Forks
- 868
- Avg merge
- 2d 1h
- Merged PRs (30d)
- 218
Description
At some point we changed the Google extension server URL and at that point people seem to have been left with the old copy in their settings interfering with enabling things.
We should purge the old URLs to avoid this hurting people.
Contributor guide
Assessment
This issue has not been assessed yet.