linking to download of ios-server in setup instructions, correcting name