Randy Chung wrote: ... > Alternatively, if configure option bloat was acceptable, it could be > added as another option you could set (but this sort of thing seems to > be getting shot down pretty quickly lately) > Especially when we are trying to get a new stable release out... ;-)