4 ms·

I agree that two leaderboards would be a fine middle ground. Just put a checkbox next to the submission box.