It's been almost 30 years, so my memory is hazy, but that really looks like it.

It still exists but last updated in 2000. It might be fun to make a Docker container with the right dependencies (if that's still possible) to run it.