salon: Convert cert names to github names case insensitively.