[tor-dev] Some Tor Devs could get higher pay as PR than as programmers