[docs ] Remove T11

Author: GulinSS

docs/source/tutorials.rst

@@ -24,10 +24,4 @@ You can read more in the `original framework <https://diataxis.fr/tutorials/>`_
   tutorials/t07-beyond-fuel
   tutorials/t08-generating-gadts-with-proofs
   tutorials/t09-toy-example
-
-.. toctree::
-  :maxdepth: 1
-  :caption: Enjoy your curiosity
-
   tutorials/t10-derivation-tuning
-  tutorials/t11-under-the-hood-a-derivegen-like-macro

docs/source/tutorials/t08-generating-gadts-with-proofs.md

@@ -230,8 +230,6 @@ Now that you can generate proof-carrying data, you are ready for more advanced t
 
 - **Want to integrate handwritten generators?** Continue to **[Mixing Manual and Automatic Generation](t06-mixing-manual-and-automatic.md)** to see how
 `deriveGen` automatically discovers and uses your custom generators.
-- **Want to understand the internals?** Continue to **[Under the Hood: Building a deriveGen-like Macro](t11-under-the-hood-a-derivegen-like-macro.md)**
-to learn how the derivation engine works.
 
 <!-- idris
 main : IO ()

docs/source/tutorials/t09-toy-example.md

@@ -336,7 +336,6 @@ Now that you can generate complex ASTs, you're ready for many other applications
 and uses your custom generators.
 - **Control distribution:** Continue to **[Derivation Tuning](t10-derivation-tuning.md)** to learn how to fine-tune constructor probabilities for more
 realistic program distributions.
-- **Understand the internals:** Continue to **[Under the Hood](t11-under-the-hood-a-derivegen-like-macro.md)** to see how `deriveGen` works internally.
 
 The complete `PILTutorial.idr` file is available for reference. You can find it in the DepTyCheck examples or build it step-by-step following this
 tutorial.

docs/source/tutorials/t10-derivation-tuning.md

@@ -209,5 +209,3 @@ approach.
 `deriveGen` handles GADTs with auto-implicit proof arguments.
 - **Want to see a complete example?** Continue to **[Toy Example: Generating ASTs for a DSL](t09-toy-example.md)** to build a complete generator for a
 simple imperative language.
-- **Want to understand the internals?** Continue to **[Under the Hood: Building a deriveGen-like Macro](t11-under-the-hood-a-derivegen-like-macro.md)**
-to learn how the derivation engine works.