> What I could do is pause the application every hour 
or
> so, copy the new.* files and rename the last copy 
back
> to new.* if a crash happens again.  Of course I'd 
have
> to be present then.  *Sigh!*

I may patch the sources and force a re-open - but I 
don't know if this will be sufficient (the output 
flush should do the same..)

> BTW, the program told me something about too many 
URLs
> and inserting an option '-#L1000000'.  I'm just not
> exactly sure *where* to insert that option.

Among with filters, like in
+*.gif -#L1000000

(This means that you tried to parse more than 100,000 
filters, which is quite huge :) )