[hibernate-dev] Missing commits - was Re: Minor issues/questions about Hibernate Core/ORM documentation