sudo apt-get install --no-install-recommends gnome-shell gnome-shell-extensions gdm3 gnome-control-center gnome-tweak-tool
gnome-shell (with extensions installed) feels substantially heavier than kde4 - laggy but usable? Some tweaking might help (like gnome-tweak-tool > appearance > enable animations=off)
gnome-tweak-tool > windows > titlebar buttons
gnome-tweak-tool > extensions > window list
With Top Bar, requires 3 panels to do the job of 1. You can keep the tray always visible by expanding the arrow.
Sounds good to me. Reading the Github Issue, it sounds like Qubes will be in this spot for a while. I understand the motivation to go gnome, but still…
konsole > gnome-terminal
system-settings > control-center
dolphin > nautilus
kate > gedit
okular > evince
kgpg > passwords
We could always just make the UI look like GTK! 
Still confused. Sounds like gnome-shell-extensions are more about look and feel and not performance-related. Anybody know how to get non-accelerated, zippy gnome?
Looking at https://github.com/diocles/apt-transport-tor, very few changes may be required since it uses socksAuth. The proxy settings can be customized but with socksAuth enabled, it’s fine to let it go through default 9050. The only thing required is that apt-transport-tor not launch tor. Can’t tell if it does automatically or not. It doesn’t appear to. Getting error:
Cannot initiate the connection to localhost:9050 (127.0.0.1). - connect (1: Operation not permitted)
Does socat have it locked up somehow?