It is recommended to let Debian's package managers manage Python packages in /usr/lib/ and /usr/share/.
So for my case ("pip install --user"), obviously this document is not relevant, since indeed I do want to let Debian manage the packages in /usr. Nothing in that file even mentions ~/.local.
; Ralf

