Not my actual best time, but my PB was never highlighted. 17:27, if you cared to know: https://splits.io/55c7