Changes to the documentation, partly needed for the new release, partly updates to outdated information