Hmm, updating that file is part of the [release process](https://www.dokuwiki.org/devel:release_process#code_changes). So, all deleted files would be added to the `deleted.files` semi-automatically and would not have needed to be part of this PR. But the latest RC2 seems to have missed that step.