Mostly just vanilla JS on that page, and a tiny bit of Python glue code to turn the WebVTT output from Whisper into a data format for the JS.