-
Type:
Improvement
-
Resolution: Unresolved
-
Priority:
Unknown
-
None
-
Affects Version/s: None
-
Component/s: Docs
-
None
-
None
-
None
-
None
-
None
-
None
-
None
Both rust doc comments and mdbook support including external files; we should use this to factor out chunks of repeated documentation.