notice the hetzner robot terraform plugin

howto/new-machine.md

@@ -361,7 +361,8 @@ TBD.
  * [howto/puppet](howto/puppet) - Puppet could bootstrap itself, with `puppet apply` ran
    from a clone of the git repo. could be extended as deep as we want.
  * [terraform](https://www.terraform.io/) - config management for the cloud kind of thing,
-   supports Hetzner Cloud, but not Hetzner Robot or Ganeti
+   supports Hetzner Cloud, but not <del>Hetzner Robot or</del> Ganeti
+   (update: there is a [Hetzner robot plugin](https://registry.terraform.io/providers/mwudka/hetznerrobot/latest) now)
 
 Unfortuantely, I ruled out the official debian-installer because of
 the complexity of the preseeding system and partman. It also wouldn't