Ich würde den Hinweis noch offen lassen, bis vielleicht jemand was dazu schreiben kann. Aber wenn sich bis Jahresende nix Neues ergibt, würde ich vorschlagen den Defi zu löschen und den Hinweis zu schließen, eben weil die Existenz so nicht nachgewiesen kann.