I broke the PR up into 4 commits with each one being more of a substantial change than the last in case you disagree with anything.
Add petrol to list of libs
Sort all the libraries within subheadings
Put additional info as sub-bullet points
Marked any libraries with >= 100 github stars as "popular"
That last commit in particular you may disagree with. Rationale was, since the list is fairly long, I though it may be good to have a way to call out popular libraries. 100 github stars may not be the best way though.
Let me know if you want to remove any of the four commits.
LGTM. Let's try out this "popular" thing. I don't expect popularity to change so rapidly, so I'm going to remove your comment regarding the date, with the assumption that the page is relatively up-to-date.
Some updates for the databases page.
I broke the PR up into 4 commits with each one being more of a substantial change than the last in case you disagree with anything.
That last commit in particular you may disagree with. Rationale was, since the list is fairly long, I though it may be good to have a way to call out popular libraries. 100 github stars may not be the best way though.
Let me know if you want to remove any of the four commits.
(See https://github.com/OCamlverse/ocamlverse.github.io/issues/173)