Comment on Add platform.sh servers to known hosts file.