in light of that, and seeing how it works in practice, i suggest to drop completely the source.development tree to avoid unneeded duplication. Yes, we already planned/agreed to do that when we move to svn.