opam package description is not helpful

The package description for the coq-iris and coq-iris-heaplang opam packages is not helpful:

This package provides the iris.heap_lang Coq module.

This package provides the following Coq modules:niris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_logic, iris.program_logic.

The description should more elaborate on the question what this can be used for.

See (https://coq.inria.fr/opam/released/packages/coq-iris/coq-iris.3.4.0/opam)

See (https://coq.inria.fr/opam/released/packages/coq-iris-heap-lang/coq-iris-heap-lang.3.4.0/opam)

Please note that (afaik) it is no issue to change the description of opam packages without creating a new version.