Allow user to edit port number for SSH session.