[Boost-users] [multi_index] are indices in a random access index stable on addition, can we have an "index_of" method?