Used a small python script to download the webm files from https://fosdem.org/2023/schedule/events/

Used a small bash script to run `whisper $f --output_format json --language en | tee $f.txt` over every file.

Ran a small python script to make the HTML. All totally trivial, it just required some GPU-hours.