Some things in GitHub are just silly...