On Jan 10, 2004, at 5:08 PM, Arnaud Charlet wrote: >> It appears it never existed properly. > > So, could this PR be removed completely ? that'd be great and would > avoid confusion. > Uh, that's more trouble than it's worth. Just close it as invalid. > Arno