diff --git a/docs/Tutorial_01_Introduction.html b/docs/Tutorial_01_Introduction.html
index 7a2926b01..bd5603530 100644
--- a/docs/Tutorial_01_Introduction.html
+++ b/docs/Tutorial_01_Introduction.html
@@ -542,7 +542,7 @@ <h2>Getting Started</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_02_Logic.html b/docs/Tutorial_02_Logic.html
index 628954205..7793be0c8 100644
--- a/docs/Tutorial_02_Logic.html
+++ b/docs/Tutorial_02_Logic.html
@@ -1021,7 +1021,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_03_Basic.html b/docs/Tutorial_03_Basic.html
index adb70858d..d39bd87d0 100644
--- a/docs/Tutorial_03_Basic.html
+++ b/docs/Tutorial_03_Basic.html
@@ -907,7 +907,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_04_Polymorphism.html b/docs/Tutorial_04_Polymorphism.html
index 08e1b53c6..ade86fe9e 100644
--- a/docs/Tutorial_04_Polymorphism.html
+++ b/docs/Tutorial_04_Polymorphism.html
@@ -929,7 +929,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_05_Datatypes.html b/docs/Tutorial_05_Datatypes.html
index d2d9d2c55..e9830b399 100644
--- a/docs/Tutorial_05_Datatypes.html
+++ b/docs/Tutorial_05_Datatypes.html
@@ -1164,7 +1164,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_06_Measure_Bool.html b/docs/Tutorial_06_Measure_Bool.html
index 7d5f856cf..d433803c7 100644
--- a/docs/Tutorial_06_Measure_Bool.html
+++ b/docs/Tutorial_06_Measure_Bool.html
@@ -845,7 +845,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_07_Measure_Int.html b/docs/Tutorial_07_Measure_Int.html
index e3459e222..894946160 100644
--- a/docs/Tutorial_07_Measure_Int.html
+++ b/docs/Tutorial_07_Measure_Int.html
@@ -1408,7 +1408,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_08_Measure_Set.html b/docs/Tutorial_08_Measure_Set.html
index dbe6c4634..e2c01518d 100644
--- a/docs/Tutorial_08_Measure_Set.html
+++ b/docs/Tutorial_08_Measure_Set.html
@@ -1407,7 +1407,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_09_Case_Study_Lazy_Queues.html b/docs/Tutorial_09_Case_Study_Lazy_Queues.html
index 43c0e7a61..990db3923 100644
--- a/docs/Tutorial_09_Case_Study_Lazy_Queues.html
+++ b/docs/Tutorial_09_Case_Study_Lazy_Queues.html
@@ -881,7 +881,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_10_Case_Study_Associative_Maps.html b/docs/Tutorial_10_Case_Study_Associative_Maps.html
index 1963967a4..7e57c8b63 100644
--- a/docs/Tutorial_10_Case_Study_Associative_Maps.html
+++ b/docs/Tutorial_10_Case_Study_Associative_Maps.html
@@ -1088,7 +1088,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_11_Case_Study_Pointers.html b/docs/Tutorial_11_Case_Study_Pointers.html
index 7eab6de50..818727a29 100644
--- a/docs/Tutorial_11_Case_Study_Pointers.html
+++ b/docs/Tutorial_11_Case_Study_Pointers.html
@@ -1497,7 +1497,7 @@ <h2>Recap: Types Against Overflows</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/Tutorial_12_Case_Study_AVL.html b/docs/Tutorial_12_Case_Study_AVL.html
index a420d878e..8931f1c33 100644
--- a/docs/Tutorial_12_Case_Study_AVL.html
+++ b/docs/Tutorial_12_Case_Study_AVL.html
@@ -1468,7 +1468,7 @@ <h2>Functional Correctness</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
   
   <!-- rust nav JS --> 
diff --git a/docs/book.pdf b/docs/book.pdf
index f87ea1090..7526a6481 100644
Binary files a/docs/book.pdf and b/docs/book.pdf differ