> >>>> "Jarkko" == Jarkko Hietaniemi <jhi@[...].fi> writes:
     Jarkko>  So it didn't go in.
 
 And I haven't gone back to it since.  Thanks for the reminder, Jarkko.
 
 -- 
 Stephen
 
 "And what do we burn apart from witches?"... "More witches!"