Try again to make CONTRIBUTING work on github