MIDI remote control: MIDI channel

I'm not a musescore developer but this interested me, as I thought I'd try the MIDI remote, but I'm sorely disappointed. I have multiple keyboards and also a Novation LaunchPad. All send note-on (not controller) messages but on different channels. This would be an obvious way - enter notes on the bottom keyboard, use special keys on the top keyboard.
It looks like a VERY simple fix although of course it needs to be done well for the developers to accept.
The MIDI remote handling looks like it is all in https://github.com/musescore/MuseScore/blob/master/mscore/musescore.cpp , look for references to processMidiRemote() function.

The function MuseScore::midiNoteReceived(channel,pitch,velo) calls processMidiRemote( ..,pitch,velo). Notice that it passes the note value but does not pass the channel.
So amend processMidiRemote to have an extra parameter ( type, CHANNEL, data,value ). That's a doddle, seems like an oversight it is not there already.

Then ... how would this be expressed in preferences? I can see two ways
1. Have a "MIDI Remote Channel" which can be set to ALL (default) or 1..16.
or 2. MIDI channel is stored against each control (Play/Pause/Quarter note/Rest/Undo etc)

For 1. The advantage of this is that if you change the channel of your remote keyboard, then all you need to do is change the channel in the preferences dialog and all the shortcuts continue to work on the new channel. This would solve my use case completely.

I haven't looked at what is involved in adding a preference for "MIDI Remote Channel",but there will be heaps of examples. Assume the preference is called PREF_MIDI_REMOTE_CHANNEL with valid values 0 (all),1,2,...16

then amend processMidiRemote(..) to add the code

    int nRemoteChannel = preferences.getInt(PREF_MIDI_REMOTE_CHANNEL);
    if(  ! (nRemoteChannel == 0 || nRemoteChannel == channel ) { return false; }

This would solve my use case completely.

For 2. I suspect it is a bit more complicated. Some people may wish a channel to be configured per remote operation, so that for example note durations come from the top octave of a MIDI keyboard, but the Start/Stop/Pause/Rewind are on a device like a LaunchPad.

For this. the MidiRemote structure (in globals.h) already has a channel parameter, so processMidiRemote() could simply test that , ie
    if (preferences.midiRemote(i).type == type && preferences.midiRemote(i).data == data) ...
becomes

    if (preferences.midiRemote(i).type == type && preferences.midiRemote(i).data == data
       && (preferences.midiRemote(i).channel==0 or preferences.midiRemote(i).channel == channel ) ) ...

However by the looks, there need to be change in preferences.cpp to ensure the channel loads/saves in preferences.ini; and in the recording, ie
    preferences.updateMidiRemote(_midiRecordId, MIDI_REMOTE_TYPE_NOTEON, pitch);
becomes
    preferences.updateMidiRemote(_midiRecordId, channel, MIDI_REMOTE_TYPE_NOTEON, pitch);

Now I suppose I should learn how to patch and compile it. <sigh> Sadly that is far more work for me.