Set "extensions" and "theme" from `devcontainer.json` - Coder.com