Yes! That's it! I can't quite tell if their site now is defunct or simply broken.
It used to be my go-to distraction when I had a job where there was literally nothing to do. (I had been hired into a group where the team lead had already automated everything. The one thing we had to do was bounce the servers every Friday & perform nationwide DB replication w/ local sites. The group was preserved because a of a pending transition that would eventually yield more work, but that was > 0.5 years in the future. The team lead was a good mentor though, and the person who taught me strategic laziness & the constant goal to automate yourself out of a job... Under the theory that you'd then find more interesting things to work on instead. But with an EOL'ed system there were no new projects that could be started)