Fix Display settings mix up monitor EDID names (bug 10717)