Remove MiniBufExplorer as it's quite buggy.