> > My opinion: absolutely not. Those are not standard headers; they're in > > ext for a reason. If users want the extensions, it's trivial to get them: Right. Let's not do this. -benjamin