Mention remotes/p4/master also in the documentation.