[mikeash]

True, forgot about that, since it was almost always out of date and not worth using. In any case, it didn't get installed by default, so I think the point still stands.