diff --git a/hugo.toml b/hugo.toml
index b441acb..97a7dc1 100644
--- a/hugo.toml
+++ b/hugo.toml
@@ -1,4 +1,4 @@
-baseURL = 'https://example.org/'
+baseURL = 'https://fmtools.fyi/'
 languageCode = 'en-us'
 title = 'Formal Methods Tools'
 enableEmoji = true
diff --git a/public b/public
index fb51f11..e12ec64 160000
--- a/public
+++ b/public
@@ -1 +1 @@
-Subproject commit fb51f11cd44675e061e494d500ee43d2ded7a76a
+Subproject commit e12ec64c22666f5459b55db504495e6f972c785f