Rename GitHub editing resources to GitHub editing resources.md