removed minibufexpl and racket, added bufexplorer