 * The problem wasn't that the names were redlinked; they were blue-linked to pages that didn't actually contain any information about the people referred to on the list, which is worse.  But I understand your concern; the unlinked names could be replaced with red links to correctly-titled articles.    Russ) 