[21:34] <avihay> KDE 4.7.1 is finally in the official repositories as binary packages too