Cl4ryty

You're right, this is only aimed to deal with this issue in the context of dis- and reconnecting the machine, because that definitely leads to a change in the keymap...

That plug-in is just calling the same function that is used when reconnecting manually once the serial port that was previously used becomes available, so this fix would also apply...