>Seems to be down, mirror here: ...

Thanks for posting the archive.org link. The site _was_ fast when I posted this earlier today. I suppose they don't receive much traffic, and host their site on a non-scaling potato server.