[boost] Re: Another BoostBook/Doxygen bug?