Each section (if not empty) now shows a panel header. Now there is no need to include "installed/disabled" text next to each extension. This also removes the need for most of the filtering options. See design task #123660.
Each section (if not empty) now shows a panel header. Now there is no need to include "installed/disabled" text next to each extension. This also removes the need for most of the filtering options. See design task #123660.