- Document the authoritative place for our Puppet modules
   and the synchronization mechanism to the public mirrors.
 - Clarify what's the manifests repo and its use of submodules.
 - Avoid pointing non-sysadmins to doc that won't work for them.
 - Point to the Puppet modules Git repo doc from contribute/how/sysadmin.
 - Make the link to our Puppet code more obvious on
   contribute/working_together/roles/sysadmins

… to keep odd=bugfix / even=major.

That's a shame but it's needed since we embed the display logic in
JavaScript on the page. Maybe we should have done it the other way
around but it's too late now to change our minds for a first release.

Also note that running the verification in Tor Browser with the security
slider set to high takes much much longer. Running with No Script
outside of Tor Browser is roughly the same speed as without No Script.