Note: I overeagerly stop the timer early (at video time 10:33:03, while I actaully finish at 10:40:09). So adding 1h7m7s to the timer time shown when I stopped it early.