Tim,
I have other patches for TDevelop, they fix the API doc generation and toc list as well. One patch for the main repo and 
one for the packaging repo.
Can I push or do I have to wait until RC2?

I also have a small patch for tdelibs, again related to API doc generation. This one have to go with RC2, right?

Cheers
   Michele