Why are bluecurve-gdm-theme and fedoraflyinghigh-gdm-theme still in the distribution? The other gdm theme packages were deprecated after F12 (!?!), and I was under the impression that none of them work with new-style gdm at all.