[boost] Why is Trac ticket priority column labeled ticket?