Paolo Carlini wrote: > Ok, thanks. The doc changes have to go in before the documentation freeze. Never mind my silly point: the freeze regards doc/html, *not* code documentation as comments... In any case, I see no reason not to commit asap your documentation changes. Paolo.