whew

Back from vacation, back to work. Another late-ish work night, but hopefully this will be the last big push for a while.