MIDI proxying for great fun with keyboards