Fix placement of GitHub star button.
Merge branch 'hotfix/gh-button'