[hibernate-commits] [hibernate/hibernate-orm] 7709f6: Point to docs.hibernate.org instead of docs.jboss....