Utilisateur:TED/Ne pas corriger les liens vers les redirections

Cf. Aide:Comment renommer une page#Après le renommage : « Une page de redirection vers le nouveau nom est automatiquement créée sous l'ancien nom de page. Il n'est donc pas nécessaire de corriger les liens internes menant à l'ancienne page pour qu'ils mènent dorénavant à la nouvelle page. Cela n'apporte pas de gain de performance, et remplit inutilement les historiques et les listes de suivi. Pour plus d'informations, lire Do not "fix" links to redirects that are not broken (en anglais). On fera exception pour les pages d'homonymie créées et pour les palettes de navigation. ».

Et aussi le point 4. de WP:RBOT : « La requête est-elle utile ? Il est facile de faire des demandes inutiles, par exemple demander à résoudre les liens vers une redirection. Si la page redirigée doit être réutilisée, la requête doit être faite, sinon elle n’a aucun ou très peu d’intérêt. Les requêtes inutiles doivent être refusées. » et cet avertissement quand on dépose une demande aux bots : « Un bot n’a pas vocation à corriger de simples redirections lorsqu’il n’y a pas de conflit particulier. Cette fonctionnalité de MediaWiki est là pour nous simplifier la vie, merci de l’utiliser telle quelle ! ».

Et enfin, « Les rédacteurs de Wikipédia ne doivent pas baser leur politique éditoriale sur des préoccupations personnelles quant aux performances des serveurs de la Wikimedia Foundation. », cf. Wikipédia:Ne vous préoccupez pas de performance. Ensuite, une étude a prouvé qu'un remplacement « redirection → lien direct » était 10 000 fois plus coûteux pour les serveurs que le suivi d'une redirection, cf. en:Wikipedia:Tools/Navigation popups/About fixing redirects (en anglais).