add safety comments section to top level summary

.env

@@ -1,4 +1,4 @@
-MDBOOK_VERSION=0.4.8
+MDBOOK_VERSION=0.4.18
 MDBOOK_LINKCHECK_VERSION=0.7.4
 MDBOOK_TOC_VERSION=0.6.3
 

src/SUMMARY.md

@@ -42,6 +42,7 @@
 
 - [Documentation](./documentation/summary.md)
     - [doc alias policy](./documentation/doc-alias-policy.md)
+    - [safety comments policy](./documentation/safety-comments.md)
 
 ---
 

src/documentation/safety-comments.md

@@ -17,7 +17,7 @@ lint for `# Safety` sections by the way.
 
 [See the example on github][as_bytes_mut]
 
-```rust
+```rust,ignore
 /// Converts a mutable string slice to a mutable byte slice.
 ///
 /// # Safety
@@ -64,7 +64,7 @@ not check for `0` before dividing.
 
 [See the example on github][split_at]
 
-```rust
+```rust,ignore
 pub fn split_at(&self, mid: usize) -> (&str, &str) {
     // is_char_boundary checks that the index is in [0, .len()]
     if self.is_char_boundary(mid) {