Fixes:
- Compatibility with Coq8.5~beta3
- This version is not compatible with Coq8.5~beta2 and earlier
- As of Coq8.5~beta3, anonymous universe levels, e.g., "Top.n" are no longer assumed to be existing all the time.
This slightly changes the behavior of the plugin. For more details see the documentations.