Obrigado pelo comentário, Jeff. Posso confirmar que, sim, essas edições estão com mais de 5 minutos de diferença. Mas mesmo que não estivessem, desde que seja criada uma única post_revision, não deveria haver SEMPRE uma EDIT user_action correspondente?
Como observação lateral, também tentei alterar o período de tolerância para edição para 0 e, ao fazer isso, são criadas 2 post_revisions idênticas para cada alteração. Não sei se isso é intencional ou se é um bug não relacionado.