Mozilla rolls out a new design for its Mozilla Add-ons extension pages, adding streamlined badges, highlighted ratings, an improved gallery, and more discovery features