diff --git a/cloudbuild.yaml b/cloudbuild.yaml
index fb17bc29..91c24159 100644
--- a/cloudbuild.yaml
+++ b/cloudbuild.yaml
@@ -6,7 +6,7 @@ steps:
     waitFor: ['-']
     entrypoint: '/bin/bash'
     env:
-      - "IMANDRA_DOCS_BUILDER=eu.gcr.io/imandra-dev/imandra-docs-builder:2a8653fe76cb9118c680f4bf9f859124be968d3c"
+      - "IMANDRA_DOCS_BUILDER=eu.gcr.io/imandra-dev/imandra-docs-builder:71a90528a7f5219984583dc62fb376576f941b92"
     args:
       - '-c'
       - |
diff --git a/manifest.yaml b/manifest.yaml
index 5973cea6..36810637 100644
--- a/manifest.yaml
+++ b/manifest.yaml
@@ -74,6 +74,9 @@ nav:
     - notebookSlug: simple-stoplight-model
       name: 'Simple car intersection model'
       miniSection : 'Beginner'
+    - notebookSlug: singasong
+      name: 'Rule Conflict Resolution'
+      miniSection : 'Beginner'
     - notebookSlug: reasonml-tic-tac-toe
       name: 'Tic Tac Toe with ReasonML'
       miniSection : 'Beginner'