Charles Plessy wrote: > On my side, I think that the current practice is not to serve /doc by default, > and I therefore second the proposition of Thomas to remove point 2 of chapter > 11.5. > > Are there other seconds or objections ? Seconded. Thanks, Jonathan