It is clear that these files are no longer used / correct, so better to remove them than have incorrect things lying around.
enabled an automatic merge when the pipeline for 8093702f succeeds
merged
mentioned in commit cd70947e