That solution didn't work for me because it sets the envelope-sender to
[email protected] (the sieve script owner) which still doesn't match the user's domain which is what is in the header-from of the autoresponder and what needs to match for DMARC to pass alignment checks. Strange...