Am 06.11.22 um 15:58 schrieb Teus Benschop:
I now think that there is not better source file than that available.
Then it is not only a non-source file but a non-source file that does not have a public source. Just get rid of that file. As it violates the users' privacy there is no point in searching for its origin and possible source. And you will spare a lot of time dealing with this.
