From GNOME 3 to GNOME Classic in 3 extensions, or why GNOME Classic has become redundant June 4, 2014 11 Comments