[tor-commits] [tpo/master] Update Philipp's role in Tor.