docs: remove unnecessary ADTypes docs

Author: avik-pal

docs/src/basics/autodiff.md

@@ -22,9 +22,10 @@
 
 ## Summary of Reverse Mode AD Backends
 
-  - [`AutoZygote`](@ref): The fastest choice for non-mutating array-based (BLAS) functions.
-  - [`AutoEnzyme`](@ref): Uses `Enzyme.jl` Reverse Mode and works for both in-place and
-    out-of-place functions.
+  - [`AutoZygote`](@extref ADTypes): The fastest choice for non-mutating array-based (BLAS)
+    functions.
+  - [`AutoEnzyme`](@extref ADTypes): Uses `Enzyme.jl` Reverse Mode and works for both
+    in-place and out-of-place functions.
 
 !!! tip
 

src/NonlinearSolve.jl

@@ -70,7 +70,6 @@ const True = Val(true)
 const False = Val(false)
 
 include("abstract_types.jl")
-include("adtypes.jl")
 include("timer_outputs.jl")
 include("internal/helpers.jl")