Get the leaderboards going again maybe?

Mod note:

The -5.30 is from now on skipped. Therefore all runs got 5 seconds more in the submissions.