On Mon, Mar 28, 2011 at 8:53 PM, Matthias Clasen <mclasen@redhat.com> wrote:

The answer to 'What about themes ?' is misleading/wrong. GNOME shell has
no official theming support. If you install an extension, you get to
keep both pieces if it breaks.

The 'What about themes ?' should just state that 'GNOME shell has no official theming support' until there is something supported from upstream, the third party tools are hacks at the moment and should not be used by the normal users.

Tim