Removed non-working(?) MiniBufExpl options