Un bot ferait ça (modif cosmétique sans autre modification dans le diff) il finirait par se faire bloquer alors que les modfis de bots sont, elles, exclues par défaut des listes de suivi. Par ailleurs pourquoi devraisje filtrer les modifs mineures alors que pleins de modifs mineures doivent tous les jours être vérifiées (pour plein de raisons) ?