Thanks everybody – I’ve decided that for me personally handling this is too much work, and I’ve disabled this particular milter.
(There is an open issue in the OpenDMARC project that I have upvoted: https://github.com/trusteddomainproject/OpenDMARC/issues/77)