Send reader's Edit button straight to GitHub for synced spaces

On public reader pages of git-synced spaces, the Edit button now opens the page's source file in GitHub's web editor.