October 30, 2018 by Mark Kraitchman login-old.eecs is down again. Please use login.eecs instead. Resolved as of 2018-12-11 07:19:00