gerhard/deliver — pull request #37 by gerhard (2012-08-03 23:48:25+00:00)
Title: Renaming SERVERS to HOSTS.

I clearly wasn't in my best of naming moods when I settled on SERVERS.
I was thinking about INSTANCES as well ($HOST is reserved, as is
$hosts), but in the end decided to drop $HOST and just stick with
$HOSTS. INSTANCES feels too AWS-ish.