Docs: clarify location of remote shell settings.
Merge pull request #3473 from jotomo/server-shell-conf-location

Docs: clarify location of remote shell settings.