Gabriel Dos Reis wrote: >The problem for those extensions moved to <ext/xxx> is less acute that >this one -- here we have a member function, whereas in the former, the >users just need to adjust (almost automatically) headers. > Exactly! In fact this is the real point of my message. Thanks Gaby, Paolo.