Also see: https://wiki.hamburg.ccc.de/infrastructure:services:mjolnir
Also document usage of infra-rebuild and its configuration file.