Then I looked at the macwhisper page and, wow… It does all the stuff.
Guessing they are using whisperX for the timecodes.
Reply on news.ycombinator.com