How about an iOS category?

You can already submit iOS times (select iOS as the platform when you submit a run) and you can filter the leaderboards by platform (PC/iOS) when you view the records for a specific category.