What do I do if I discover a duplicate?
From WikiIndex
Turn the one with the less correct name into a redirect. If there's any chance someone will be searching by the alternative name, might as well let them find it. Also reduces the chances for someone adding that wiki again as another duplicate.

