Remove minibuffexpl, using buffers is just easier