Étiquetteges­tion des plugins

Affi­cher les infor­ma­tions rela­tives aux extensions/thèmes du dépôt officiel

Ran­ger les exten­sions que vous n’utilisez pas en continu

Une recherche de plu­gins plus conviviale

Activez/désactivez rapi­de­ment une liste de plugins