Added minibufexpl, removed bufexplorer