The download link does work - at least, it takes you to the developer's website, where you can currently download both PPC and Intel versions of the app. And for those who don't want to fiddle with teTex installations, further down the developer's website are instructions, along with a link to MacTex, which carries out the whole teTex installation from a single OS X disk image. Which so far has worked just fine for me, no fuss or bother at all. Looking forward to trying the app out now…