Ikiwiki does not generate this file deterministically so shipping it breaks reproducibility. It's worthless on the ISO, so let's just remove it. Will-fix: #12619