Downtime

Hi Everyone, As you all probably noticed, we were down for a significant portion of the day yesterday.  We missed a code, but hopefully the manual post to Twitter helped people out. Our host was having hardware issues — I was working hard to get the site back up as soon as I could, but the issues weren’t fixed until late into the night. My heartfelt apologies to anyone this affected. Hope everyone is doing well!
— gc

gc