Keep GitHub from delivering the credits as binary file.