Over the last 24 hours, no members of stds-754@xxxxxxxx have been autodeleted because their sites rejected IEEE mail as spam. So I tentatively conclude that the problem is cured, and postings may be made to stds-754@xxxxxxxx alone. If that conclusion is confirmed by experience, I'll disable stds-754@xxxxxxxxxxx later this week.