Sync extensions across VS Code-based editors on the same machine.