As a Tor Project employee, I’ve upstreamed a few bits of my work to Mozilla.