> I just wonder why you are referring to the url of a mirror site > instead of the original. > By the way I don't even know if we link to this mirror site any more. I remembered that example, googled for it, and just pasted in the link.