Re: [boost] Permission to merge documentation