So, this morning I got up, and noticed my ssh session had died overnight. Didn't think much of it, and headed into the day job. While doing the morning rounds,

So, this morning I got up, and noticed my ssh session had died overnight. Didn't think much of it, and headed into the day job. While doing the morning rounds, and saw that: 1) Cool! Someone likes my editor enough to post it on HN! 2) Well, now I know why my ssh session died. Unfortunately, there's not much I can do about it from here, so the web site will have to remain down for a while. Thanks for all the kind comments though!