remote vscode server が壊れている気配があって .vscode-server を削除したら使っていた拡張のすべてが吹き飛んでいった。削除せずにリネームして取っておけばよかった。