Editor's Note: Vacation

 As always around this time of year I will be on vacation starting tomorrow. That means that posting might be infrequent or at unusual times. Given the crappy weather we are expecting next week, there might not be that much change in posting.