[proaudio] Fwd: remove openoctave-midi-9999

[alex stone]

As a further follow-up, could you remove all openoctave-midi
references entirely?

We've decided to handle this in our own overlay.

Thanks,

Alex.