Documentation: git-send-email: fix submission port number