How to reuse installed code-server extensions in local VSCode? - Coder.com