What happeded to the real flatgrey theme?

[Mike]

I just loaded trunk and discovered that the normal flatgrey theme has
been completely redefined.  What happened?  I thought it was actually
the best theme that was very well organized.  Is there a way to get it
back?