We've seen this confusion before. A RoboHelp Server could mean any server dedicated to hosting the WebHelp output. RoboHelp Server is a piece of software that gets installed on a server, not the same thing.