In machines.cgi: do not skip [[- purposes. "[[-<hostname>]]" gets stuff added to...