fix #37206: Export channels to midi works

Not a bug, but not implemented option.