Tim, I would like to push the attached patch to the tde-packaging repo. It adds debug symbols to TDevelop. At the same time I could also push some TDevelop documentation updates that I have already made. Can I go ahead? Cheers Michele