From Joe M, "you can get your current extensions list by typing code --list-extensions
in CLI"
His list:
alefragnani.Bookmarks
annsk.alignment
dbaeumer.vscode-eslint
donjayamanne.githistory
eamodio.gitlens
EditorConfig.EditorConfig
eg2.vscode-npm-script
felixfbecker.php-debug
felixfbecker.php-intellisense
felixfbecker.php-pack
ikappas.phpcs
joshpeng.sublime-babel-vscode
msjsdiag.debugger-for-chrome
neilbrayfield.php-docblocker
persoderlind.vscode-phpcbf
robinbentley.sass-indented
streetsidesoftware.code-spell-checker
waderyan.gitblame
zhuangtongfa.Material-theme