update coral website url

Change-Id: I8fa728fb202c772391baf6827abcc4e22c1d89df
diff --git a/etc/os-release b/etc/os-release
index d052fbf..de5a438 100644
--- a/etc/os-release
+++ b/etc/os-release
@@ -2,7 +2,7 @@
 NAME="Mendel #OSNAME#"
 ID=mendel
 ID_LIKE=debian
-HOME_URL="https://coral.withgoogle.com/"
-SUPPORT_URL="https://coral.withgoogle.com/"
-BUG_REPORT_URL="https://coral.withgoogle.com/"
+HOME_URL="https://coral.ai/"
+SUPPORT_URL="https://coral.ai/"
+BUG_REPORT_URL="https://coral.ai/"
 VERSION_CODENAME="day"
diff --git a/origins/mendel b/origins/mendel
index 56cd15b..2a3a4e3 100644
--- a/origins/mendel
+++ b/origins/mendel
@@ -1,4 +1,4 @@
 Vendor: Mendel
-Vendor-URL: http://coral.withgoogle.com/
+Vendor-URL: http://coral.ai/
 Bugs: https://issuetracker.google.com/issues
 Parent: Debian