* Moved "Before Submitting a Pull Request" to the top * Removed discussion of the standard Github PR workflow (Contributors who don't know how to create PRs on Github at all can find that information elsewhere. For the rest, it's just noise.) * Misc copy edits