solo-built independant linux distribution
Packages / desktop / gnome-shell-extensions
Collection of extensions for GNOME Shell, including the classic mode session