this could also use `getMachineDetails()` (but not needed for now ... maybe worth a `TODO` comment however)