(BTW, today is not a "Jon Katz is OK" day, in case you couldn't tell.)