On 6 Nov 2009, at 19:04, Paul Davis wrote:

> AFAIK, that's been there since like, a long time ago. I haven't the
> slightest if anyone has actually used it or not.

It's been deleted. Thanks.