rebased to a customized version of minibufexpl, and update the settings