Replace MiniBufferExplorer with BufferList