Release notesedit

Release notes are published on the GitHub releases page.