On Fri, 10 Apr 2020, Wietse Venema wrote:
Fred Morris:The "destination address" is extracted from which header? To: would be the naive choice, but Delivered-To: is probably better.
If it isn't munged, the envelop address (RCPT) becomes the Delivered-To: address does it not?
-- Fred