I'm not planning to split, but if it ever causes an issue and people start crying then we can split.

The categories have very little runs / active runners as is, separating the leaderboards per platform would spread what little runs we have even more thin. Players can however use the filters.