Clarify shell commands location (host versus in docker)