Replace hand-made Moved stub pages with real redirects

.github/workflows/main.yml

@@ -22,7 +22,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install mkdocs-material
+          pip install mkdocs-material mkdocs-redirects
 
       - name: Deploy
         run: mkdocs gh-deploy --force

AGENTS.md

@@ -145,7 +145,7 @@ docker run --rm -it -p 8000:8000 -v ${PWD}:/docs squidfunk/mkdocs-material
 
 **Python/pip:**
 ```bash
-pip install mkdocs-material
+pip install mkdocs-material mkdocs-redirects
 mkdocs serve
 ```
 

mkdocs.yml

@@ -33,8 +33,13 @@ theme:
       toggle: 
         icon: material/weather-night
         name: Dark Mode
-plugins: 
+plugins:
   - search
+  - redirects:
+      redirect_maps:
+        advanced/compile-analog.md: advanced/compiling-wled.md
+        advanced/compile-wled.md: advanced/compiling-wled.md
+        basics/compiling-wled.md: advanced/compiling-wled.md
 markdown_extensions:
   - admonition
   - attr_list