[boost] Off-topic question about Boost trac