Docs: fixes and review comments

dev guide minor fixes and improvements; incorporated review comments for CONTRIBUTING.md.