It seems like we have lost the 201904 DKIM keys on mail01.ipfire.org, perhaps due to the filesystem crash disaster. So we need to generate new ones, publish them in DNS and delete all existing DKIM key records.
This is all done.