Resetting a user's Daily Digest settings

After re-activating the Daily Digest on one of my sites (after it had been off for quite some time), I promptly received more than 20 bounces because of outdated email addresses. Since resetting those user's digest settings turned out to be tedious, I wrote this script to do the work for me.

The script will let you search for user names, email adresses, or user ids and reset their Daily Digest settings with the click of a button. Maybe someone else will find this useful ...

bye, Dirk

P.S. I'll probably integrate this into the Manual Digest Plugin later.