Preserving this time due to its significance in the WR history for this game. (Former world record on September 9th/10th, 2016.)

If the runner wants me to remove this from the boards, contact me and I'll oblige.