more stuff on CONTRIBUTING.