I found some minor issues in the documentation, e.g. we didn't update the JPA version - embarassing as it's the main point of this release.