so it stands to reason that there are midi converters.
Here's one:
github.com/nai-kon/PlaySK-Piano-Roll-Reader
(, Sun 15 Feb 2026, 21:32, Reply)
I was hoping for a fancy card punching machine, but of course all you need is some software and a laser cutter, like this:
www.hobbydraaiorgel.nl/subdir/en_midiboek10.htm
(, Mon 16 Feb 2026, 6:59, Reply)