Acabo de encontrar la última extensión que me faltaba: TopIcons. Con ella, los iconos de aplicaciones aparecen en la barra superior, como en el resto de escritorios.

Ahora sí puedo decir que tengo Gnome Shell como yo quiero.

Gnome-shell a mi gusto por A cuadros está licenciado bajo una Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.