This one may require some extra thought, and it may be better to do it as part of the move to https://github.com/hibernate/docs.hibernate.org ?