Merge #731: placeholder user@host -> user@provider.com (fixes #729)