Gracias por el comentario, Jeff. Puedo confirmar que sí, estas ediciones están separadas por más de 5 minutos. Pero incluso si no lo estuvieran, siempre que se cree una única post_revision, ¿no debería haber SIEMPRE una EDIT user_action que la acompañe?
Como nota al margen, también intenté cambiar el período de gracia para la edición a 0 y, al hacerlo, se crean 2 post_revisions idénticas por cada cambio. No sé si esto es intencional o si se trata de un error no relacionado.