I see it listed as the WR time on various streams, yet I can’t find the video, nor is it listed here in the leaderboards.

That person has no runs submitted here.

Beco took a leave of absence for personal reasons and removed all his records. Beco said he will be back in 2018 sometime, in which case he may resubmit all his records.