Changes: merge duplicated `Type system` heading for 4.13.0 (#10443)
Changes: merge duplicated `Type system` heading for 4.13.0 (#10443)


gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml