To the moderator: I was wondering if I'm able to deduct time for lag, because I experienced quite a lot this run (when finishing a level and loading when finding a level). I didn't edit the final timer because I wasn't sure whether it was allowed.