Change how release_notes are discovered / Point to docs.hibernate.org instead of docs.jboss.org/hibernate in various docs / Do not require hibernate.filemgmt.jboss.org in the builds#11340