I too have only the 1.0 cart; but you could use the filter option to see the best 1.0 time for the leaderboard. I've found this to be sufficient and straightforward instead of having a separate category or trying to re-time anything.