Lecture 15: Changing the SSH port from 22 to another number