MIDAS Host Name

The midas documentation has moved. See Connecting to another machine on the Programs and options page and Environment variables for the new documentation about how midas programs choose the host to connect to.