diff --git a/LeanByExample/EXTRA/README.lean b/LeanByExample/EXTRA/README.lean
index 0abea522..5eab6142 100644
--- a/LeanByExample/EXTRA/README.lean
+++ b/LeanByExample/EXTRA/README.lean
@@ -1,5 +1,9 @@
 /- # 付録
 
-`LeanByExample/EXTRA` 配下のページは、サイドバーの目次には掲載されません。
+付録です。以下のような用途で使います。
 
+* Lean の構文要素に対応しない話をする。
+* 各ページに載せるには少し長すぎる具体例を紹介する。
+* 用語の解説をする。
+* 数学の背景知識の解説をする。
 -/
diff --git a/LeanByExample/SUMMARY.lean b/LeanByExample/SUMMARY.lean
index 02686bee..580f8481 100644
--- a/LeanByExample/SUMMARY.lean
+++ b/LeanByExample/SUMMARY.lean
@@ -7,6 +7,17 @@
 [Mathlib4 Help](./Mathlib4Help.md)
 [ランダムページ](./Random.md)
 
+- [付録](./EXTRA/README.md)
+  - [カントールの定理](./EXTRA/Cantor.md)
+  - [クワイン](./EXTRA/Quine.md)
+  - [じゃんけんゲーム](./EXTRA/Janken.md)
+  - [三目並べ](./EXTRA/TicTacToe.md)
+  - [嫉妬深い夫たちの川渡りパズル](./EXTRA/Jealous.md)
+  - [選択ソート](./EXTRA/SelectionSort.md)
+  - [天使と悪魔の論理パズル](./EXTRA/AngelAndDevil.md)
+  - [末尾再帰](./EXTRA/TailRec.md)
+  - [列挙型に対する `ToString` インスタンスの自動生成](./EXTRA/EnumToString.md)
+
 ---
 
 - [対話的コマンド](./Diagnostic/README.md)
@@ -293,16 +304,4 @@
   - [show .. from: 項の型を明示](./Syntax/Show.md)
   - [Σ: 依存ペア型](./Syntax/Sigma.md)
 
-<!-- 以下は付録であり、サイドバーに表示されないことが期待される -->
-
-- [付録](./EXTRA/README.md)
-  - [選択ソート](./EXTRA/SelectionSort.md)
-  - [じゃんけんゲーム](./EXTRA/Janken.md)
-  - [３目並べ](./EXTRA/TicTacToe.md)
-  - [嫉妬深い夫たちの川渡りパズル](./EXTRA/Jealous.md)
-  - [天使と悪魔の論理パズル](./EXTRA/AngelAndDevil.md)
-  - [末尾再帰](./EXTRA/TailRec.md)
-  - [カントールの定理](./EXTRA/Cantor.md)
-  - [クワイン](./EXTRA/Quine.md)
-  - [列挙型に対する `ToString` インスタンスの自動生成](./EXTRA/EnumToString.md)
 -/
diff --git a/assets/hidden-pages.css b/assets/hidden-pages.css
deleted file mode 100644
index d01d2761..00000000
--- a/assets/hidden-pages.css
+++ /dev/null
@@ -1,8 +0,0 @@
-/*
- * `EXTRA/` 配下のページは HTML としては生成するが、サイドバーには表示しない。
- * JavaScript の削除処理が走る前の初期描画でも隠す。
- */
-.chapter li.chapter-item:has(> a[href^="EXTRA/"]),
-.chapter li.chapter-item:has(> a[href*="/EXTRA/"]) {
-  display: none;
-}
diff --git a/assets/hiddenPages.js b/assets/hiddenPages.js
deleted file mode 100644
index 144b281e..00000000
--- a/assets/hiddenPages.js
+++ /dev/null
@@ -1,22 +0,0 @@
-/**
- * サイドバー非表示ページの制御スクリプト
- *
- * `EXTRA/` 配下のページは、HTML としては生成されるが、
- * サイドバーには表示しない。
- * このスクリプトは、サイドバーにある `EXTRA/` 配下へのリンク項目を取り除く。
- */
-document.addEventListener('DOMContentLoaded', function () {
-  const sidebar = document.getElementById('sidebar');
-  if (!sidebar) return;
-
-  const links = sidebar.querySelectorAll(
-    'ol.chapter li.chapter-item > a[href^="EXTRA/"], ol.chapter li.chapter-item > a[href*="/EXTRA/"]',
-  );
-
-  links.forEach(function (link) {
-    const item = link.closest('li.chapter-item');
-    if (item) {
-      item.remove();
-    }
-  });
-});
diff --git a/book.toml b/book.toml
index e74cadeb..44a708f6 100644
--- a/book.toml
+++ b/book.toml
@@ -25,16 +25,12 @@ additional-js = [
   "assets/replaceToLink.js",
   # ランダムページボタンを表示する
   "assets/randomPage.js",
-  # サイドバーに表示しないページを隠す
-  "assets/hiddenPages.js"
 ]
 additional-css = [
   # mdbook-admonish のスタイル
   "./assets/mdbook-admonish.css",
   # ページごとの目次をサイドバーとして表示する
   "./assets/pagetoc.css",
-  # サイドバーに表示しないページを初期描画から隠す
-  "./assets/hidden-pages.css",
 ]
 
 # セクション番号を振らない