Adding <F4> to toggle MiniBufExpl