Make all github user names consistently lowercase