get rid of duplicate primitive_docs Having this duplicate makes editing that file very annoying. And at least locally the generated docs still look perfectly fine...
compiler-builtins-weak-intrinsics
-Zbuild-std