scripts/get_maintainer.pl: use case insensitive name de-duplication