 *I brought it up with him .  Given the note at the top of his page, I guess I should ping  as well.  It's such a minor and obvious thing that I'm tempted to do it myself because there's really no argument for it not to be undone... but it's also such a minor thing that I don't view it as a big enough deal to risk controversy.   