Update dev with release branch changes

Convenience update to keep the *dev* branch **ahead of the master branch** and to in cooperate the release notes from **beta-rc3**.

__Take care:__ do _not_ remove the merged (*master*) branch after accepting that pull ;)