> PS: just to finish my list of infrastructure-related topics, it would be > good to > transfer the kdevelop.org domain ownership to kde e.v. AFAIK it is currently owned by Sandy Meier or Uni. Potsdam.