5.1.0: updated release notes