MiniBuffer work seems to be mostly done.