[boost] Permission to merge documentation