Missing documentation for annotations in reference

[zayenz]

At https://www.minizinc.org/doc-2.5.0/en/lib-annotations.html there are no annotation documentation, as compared with https://www.minizinc.org/doc-2.4.3/en/lib-annotations.html.

Unsure if this is the right place to report this issue.

[guidotack]

Thanks, will be fixed in 2.5.1.

[Pierre-Flener]

This was independently reported as MiniZinc/minizinc.github.io#26 : is that tracker not monitored (frequently), and do you prefer documentation issues to be reported in this libminizinc one?