[boost] [heap] van Emde Boas tree

Should I contact Tim Blechmann directly about the idea of adding a van Emde Boas tree to Boost.Heap, or is proposing it here the appropriate way to go about it? Thanks, cheers. Jeremy