(Docs) Point out that setting "user" in an exec does not automatically set $HOME

Users were sometimes expecting this to happen, so we should point out that it
doesn't.