[tor-dev] Karsten's status report July 1--31