[tabacco]

I've been alerted that we'll be seeing a little bit of server downtime on 6/13 sometime between 10pm and 3am pacific time while the planet adds additional router capacity. Our router is first in line, so it'll probably be happening closer to 10. They expect the downtime to be ~20 minutes.