pkgsrc/editors/mined/patches