that was a replay editor that used to work only with versions below 3.72
I believe you can still use it if you re-download the old 3.7 version.
Too bad I can't remember the name :/