Empty descriptions on the package index webpage

[Olivier Laurent]

On the package index page, many packages have empty descriptions "" (see for example coq-ails, coq-alea, etc.).

[Karl Palmskog]

Thanks for reporting, but this is a duplicate of #691, so feel free to contribute to the discussion there.