A minor point: should we now include "bare metal" where we list platforms? If so, let's add it here as well as to lines 12 and 25 of `docs/operations/configure-dns.rst`.