[random] Hope everyone had

a happy Halloween - ours was on the cold side for these parts, and while it was only intermittently rainy, we still got far fewer kids this year than last. Oh well, we still had a good time.