@ancient-stone-50795: what's the point of the nginx setup? For developers only, since the ec2 build workers use nfs directly?