On 1999-07-22 02:14:13 +0000, David Coe wrote: > I received the following brief comment from the upstream developer > regarding this bug report; does this help you? Errm. Looking at this once more, this was indeed a pilot error. Forget it, sorry.