I received the following feedback:

Can the history be deleted? I have only tried it with one file so far and despite the fact that it was deleted locally, it is still in the history and I saw no way to delete it manually

Original copypasta:

[...] lässt sich die Historie löschen? Ich habe es bisher nur mit einer Datei ausprobiert und trotz dessen das sie lokal gelöscht wurde steht sie noch in der Historie und ich sah keine Möglichkeit diese manuell zu löschen