Last day of July. I mostly spent time moving servers today. I guess I’ll try to make up for it tomorrow?