Infrastructure » Extensions

It would be very useful to surface the best-rated extensions by adding a "by rating" sort option, with highest at the top.
Not sure if "lowest to highest" would be useful, I think we can omit it just like we did for the sorting by number of downloads.

Something to think about is: do we only use values that are averaged from a minimum number of ratings? With a notice to be transparent about it, for example "Sort by rating only shows extensions with at least 3 ratings".
But this could be a more general question, and maybe we should only ever show an extension's average rating if a certain threshold is reached (and show "Not enough ratings" as a placeholder if it isn't).