Rename GitHub notes to GitHub notes.md