This short series removes an unnecessary splay-tree-related function from MI, and then removes the free_splay_tree cleanup in favor of a unique_ptr specialization. Regression tested by the buildbot. Tom