Various updates to CONTRIBUTING.md