diff --git a/src/.vitepress/config.mts b/src/.vitepress/config.mts
index d691afc..9a8e95d 100644
--- a/src/.vitepress/config.mts
+++ b/src/.vitepress/config.mts
@@ -42,6 +42,7 @@ export default defineConfig({
       {
         text: 'Blog',
         items: [
+          { text: 'Farewell, Univalence', link: '/blog/bye-hott' },
           { text: 'Inductive Props', link: '/blog/ind-prop' },
           { text: 'Def. projection in classes', link: '/blog/class-defeq' },
           { text: 'Path constructor elaboration', link: '/blog/pathcon-elab' },