There is a problem listing midi ports

Hi,

we can confirm and the issue is reproducible. We are investigating a fix.

Sorry for the inconvenience.

Regards,
RG