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