clarify static servers installation procedure after talking with w

howto/static-component.md

@@ -157,12 +157,9 @@ TODO: add a disaster recovery.
 
 ## Installation
 
-Unclear. A new set of servers would need to be built, probably using
-[Puppet](puppet) although it's not quite clear whether the
-configuration in Puppet is sufficient to establish new servers.
-
-TODO: check with weasel to see what is not in Puppet for a new host
-(source/mirror/master) setup.
+Servers are fully configured in [Puppet](puppet), although the `mirroradm`
+user comes from LDAP. See the [design section](#Design) section below for
+details on the Puppet classes in use.
 
 ## SLA