Da hast Du recht. Man kann das Datum durch “pull-to-refresh” aktualisieren.
Hintergrund: Apps bekommen das Änderungsdatum nicht mit. Ich muss mir das merken wenn ich die Datei lese. Und ich bekomme es auch nur mit, wenn ich die ganze Datei lese. Das ist aber irgendwie sehr aufwändig: alle Dateien zu lesen nur um das Änderungsdatum zu bekommen. Das ist der Grund warum das Datum etwas veraltet sein kann - wenn die Datei geöffnet wird, versucht PP auf jeden Fall die aktuelle Version zu lesen.