Wikipedia founder Jimmy Wales announces cooperation between KDE Group and Wikimedia