Sorry for my previous post. How do I play these releases on a Debian based system? I tried finding a converter but all results came up as either it not being possible, or they didn’t work.