- deleted an option of the removed minibuf plugin