
答え1
ついに解決しました(たぶん)。settings.json で以下を置き換える必要がありました:
"terminal.integrated.shell.windows": "C:\\WINDOWS\\System32\\WindowsPowerShell\\v1.0\\powershell.exe"
これとともに:
"terminal.integrated.shell.windows": "C:\\WINDOWS\\System32\\cmd.exe"
PowerShell がなぜこの問題 (バグ?) を引き起こすのかはわかりません。