Fix out-of-date teaching. Add 3MT judging to news.
Server now uses port 1022 for SSH.