Re: [boost] [1.40] OK to patch docs on release branch?