Technically, the rule is "no interpreters that download code". To get around it, it bundles a decent chunk of the if-archive in the app and then registers as something that can open z-machine game files (so you can use Frotz to open a game from Dropbox, after downloading in Mobile Safari, etc.).