[10:39] <Guest40673> Is the edubuntu-desktop-kde package available for Kubuntu 13.10?