Merge branch 'develop'
ReleaseNotes.html can't be server from raw.github.
Merge branch 'hotfix/fix_release_notes' into develop