Florian Müllner authored Dec 21, 2023 and Marge Bot committed Jan 03, 2024

This brings back the filtering that the `--enable`/`--disable`
flags used to do, which can be useful as well.

For instance

  $ gnome-extensions list --active

to show all extensions currently in use, or

  $ gnome-extensions list --enabled --inactive

for extensions that are inactive despite being enabled.

#7004

Part-of: <!3073>