The property to avoid Auto Registration of envers listeners was changed to:

hibernate.envers.autoRegisterListeners

in the current user documentation is still the old value

hibernate.listeners.envers.autoRegister

The change of this property should also be mentioned in the migration notes.