Tweak mail/exim-doc-html version 4.71