[WikiEN-l] Thoughts on having an automatic double-redirect fixer