> FWIW I'm one of the original authors. I don't think it really matters > here. I'd rather have excess includes than try to deal with include > ordering problems. I agree with you here! > Pierre> Is this version OK? > > Yes, thanks. Thanks, committed. Pierre