Hello, I am currently using KDE and I am shopping around for development environments for developing in Z3. It looks like I will just be using Kate + Konqueror to browse files. Does anyone have any suggestions? Thanks, Josh Zeidner