Hi folks, I have done any linux audio dev in a few years, and wondering what I should be using for a simple cross-platform real time capable python library for handling midi. I was previously using portmidi, but noticed there has been more recent releases of rtmidi. Any advice appreciated. thanks Iain