[Bug-wget] deleting stale files?

[Karl Berry]

Can wget --mirror remove locally-stale files?  The ones removed from the
server.

I couldn't find this addressed in the documentation.  Some old mail
implied that it didn't :(, but didn't seem definitive.

Thanks,
Karl