OK. Here is a patch, including NEWS and ChangeLog entries. I made the argument to rmail-delete-forward not optional, and fixed callers. Ken