TBH, I’ve never seen the examples they feature in the article. It’s always donotreply@company.com, not company@donotreply.com but I can definitely see self-professed “web development experts” writing up a script not understanding how bounce receipts and message envelopes work.
I see a lot of emails from "donotreply", but never pay any attention whether it's a user name or domain name. I have no doubt that many of them are domain names.
To make it double redundant, the reply-to address should be donotreply@donotreply.company.com.