Some web content fixes. No code changes. (0.42.1)

web/documentation/extensions/redis/redis.md

@@ -32,7 +32,7 @@ The Redis extension adds a minimal client for Redis-compatible servers using the
 
 Example CMake configure line enabling Redis along with other options:
 
-<pre>cmake -S . -B build_release -DCMAKE_BUILD_TYPE=Release \
+<pre>cmake -S . -B build -DCMAKE_BUILD_TYPE=Release \
   -DFUN_WITH_REDIS=ON</pre>
 
 When configured, the build summary will include a line:

web/documentation/funstx/funstx.md

@@ -4,7 +4,7 @@ published: true
 noToc: false
 noComments: false
 noDate: false
-title: Fun - funstx — Fun syntax checker and fixer
+title: funstx — Fun syntax checker and fixer
 subtitle: Syntax checker for .fun files with optional --fix auto-corrections; usage, exit codes, and limitations.
 description: Syntax checker for .fun files with optional --fix auto-corrections; usage, exit codes, and limitations.
 permalink: /documentation/funstx/

web/documentation/rust/rust.md

@@ -4,7 +4,7 @@ published: true
 noToc: false
 noComments: false
 noDate: false
-title: Fun - Writing Rust-backed opcodes for Fun VM
+title: Writing Rust-backed opcodes for Fun VM
 subtitle: Writing Rust-backed opcodes and wiring them into the C VM; build/setup notes.
 description: Writing Rust-backed opcodes and wiring them into the C VM; build/setup notes.
 permalink: /documentation/rust/

web/documentation/troubleshooting/troubleshooting.md

@@ -4,7 +4,7 @@ published: true
 noToc: false
 noComments: false
 noDate: false
-title: Fun - Troubleshooting Guide
+title: Troubleshooting Guide
 subtitle: Common issues and quick fixes for build, includes, and REPL usage.
 description: Common issues and quick fixes for build, includes, and REPL usage.
 permalink: /documentation/troubleshooting/