KDE 3.1.93 for Fedora spotted