diff --git a/web/components/create-fold-button.tsx b/web/components/create-fold-button.tsx
index de4ff2d4..02a7e448 100644
--- a/web/components/create-fold-button.tsx
+++ b/web/components/create-fold-button.tsx
@@ -64,8 +64,9 @@ export function CreateFoldButton() {
- A fold is a Manifold community with selected markets.
- Markets are included if they match one or more tags.
+
+ Markets are included in a fold if they match one or more tags.
+
diff --git a/web/components/nav-bar.tsx b/web/components/nav-bar.tsx
index b63c55e4..38c4af83 100644
--- a/web/components/nav-bar.tsx
+++ b/web/components/nav-bar.tsx
@@ -57,17 +57,6 @@ function NavOptions(props: { user: User | null; themeClasses: string }) {
)}
- {/*
-
- Folds
-
- */}
-
- All markets
+ Markets
+
+
+
+
+
+ Folds
@@ -89,20 +89,7 @@ function NavOptions(props: { user: User | null; themeClasses: string }) {
>
) : (
- <>
-
-
- Leaderboards
-
-
-
-
- >
+
)}
>
)
diff --git a/web/pages/folds.tsx b/web/pages/folds.tsx
index f97880a0..110706cc 100644
--- a/web/pages/folds.tsx
+++ b/web/pages/folds.tsx
@@ -65,12 +65,13 @@ export default function Folds(props: {
-
+
{user && }
- Browse Manifold communities, called folds.
+ Folds are communities on Manifold centered around a collection of
+ markets.