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.