[prof_hobart]

That solves a tiny percentage of the issues on Android, whereas it resolves the majority on iOS. That's the difference.