Hoary: gnome-theme-manager crashes at startup

[Olivier Vogel]

gnome-theme-manager crashes at startup. It is very often the case, but
not always! After several trials, it may happen that it works. I can't
understand why.