Release 0.15.0

I am mostly interested in comments on the release notes in NEWS.md, in particular whatever I may have forgotten