Just to start some discussion (and hopefully not to start a war): Do we want to rename gideon back to "kdevelop" at some point in time (soon)? If not, then we need to think about renaming the whole project to gideon. Caleb