Re: [boost] What would make tool authors happier..