Document: edge-case error in VSCode integrated terminal w. remote ssh connection to Raspberry Pi
Bug report, from VSCode issues: https://github.com/microsoft/vscode/issues/82937
This is probably a niche issue but we should document it somewhere in any case.