fix #37206: Export channels to midi works

Not a bug, but unimplemented option.