I suppose I could have found a friend with ios 11 on an ipad, logged in on their device, installed and bought the in-app purchase, then logged out again. But instead I just gave in and installed ios 11 on my mini 2. In the couple minutes of use it didn’t seem any slower than before.It just means I’ll have to go digging in the basement for the CD-ROM if I want to play any Infocoms…