Comment 34 for bug 138586

The change is not telling users what to do, it's changing the default theme as a workaround. The tango theme is slower because it hits slow code in the xorg stack on some cards but is likely working correctly for some other people so there is no really reason to don't make it available