[boost] Re: Re: Another BoostBook/Doxygen bug?