[doc] only keep links for dev guide

src/init/boot/boot.ml

src/init/boot/boot.mli

src/kernel_internals/typing/cabs2cil.mli

src/kernel_internals/typing/frontc.mli

src/kernel_services/abstract_interp/abstract_interp.mli

src/kernel_services/abstract_interp/lattice_type.ml

src/kernel_services/abstract_interp/lmap.mli

src/kernel_services/abstract_interp/lmap_bitwise.mli

src/kernel_services/abstract_interp/locations.mli

src/kernel_services/analysis/dataflow2.mli

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/ast.mli

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_data/globals.mli

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_data/property_status.mli

src/kernel_services/ast_queries/acsl_extension.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.mli