Criterion revision proposal: KDE default applications