First of all, congratulations for the work done in Envers, it is amazing and solve complex problems like a charm.

However, I would suggest that Envers supports Hibernate Annotations once its purpose is to query in the history revisions annotations in the same way hibernate does. For example, I have a recursive mapping and I am using soft delete strategy, for this I need @Where to avoid bringing deleted rows. As Envers does not support it, I am treating in the code, but would be great to have this feature and the same behaviour in both frameworks.