See under extensions/ https://github.com/bridgedxyz/github.surf https://github.com/bridgedxyz/github.surf It's basically all custom scripts to replace extra co

See under extensions/ https://github.com/bridgedxyz/github.surf https://github.com/bridgedxyz/github.surf It's basically all custom scripts to replace extra code to origin vscode repo.