More explicit warnings also in global release notes.
Merge branch 'gh-pages' of github.com:enricovianello/storm into gh-pages