fix remote clipboard, do git clone over https in web_start.