So apparently no one has been able to log in to typekey to comment since the time change in October, but unfortunately no one told me, so I didn’t know until this week. I tracked down the problem and had to lead my ISP to the solution, but typekey is once again working now.