Could you add a jumphost in the Dallas site?

Hi!

After the addition of the latest build servers for Tor Browser, I noticed a quite high latency from Europe (e.g., ping to tb-build-03 is 123ms on people.tpo).

However, it's even worse for other team members who are already in Americas, because they have to go to Germany and come back.

So, I think they'd appreciate another jump host closer to the build machine.

We mostly do SSH to those machines, so low latency isn't critical but it's still noticeable, so definitely not a priority. In many cases we login just to start builds. We do interactive sessions especially when updating the toolchains (in Summer, at the beginning of the ESR transition).