Danke für deinen Kommentar, Jeff. Ich kann bestätigen, dass diese Änderungen tatsächlich mehr als 5 Minuten auseinanderliegen. Aber selbst wenn sie es nicht wären: Solange eine einzelne post_revision erstellt wird, sollte es doch IMMER eine begleitende EDIT user_action geben, oder?
Als Randbemerkung: Ich habe auch versucht, die Bearbeitungsfrist auf 0 zu setzen. Dabei werden für jede Änderung zwei identische post_revisions erstellt. Ich weiß nicht, ob das beabsichtigt ist oder ob es sich um einen unrelated Bug handelt.