Merge release to master

Seems this is now easily possibly with the Github UI.
Forgive me and kindly revert it if I destroy something, but I would like to know if that works directly via Github and it looks good.