[$] A discussion of Rust safety documentation

Kangrejos 2024 started off with a talk from Benno Lossin about hisrecent workto establish a standard for safety documentation in Rust kernel code. Lossinbegan his talk by giving a brief review of what safety documentation is, andwhy it's needed, before moving on to the current status of his work. Safetydocumentation is easier to read and write when there's a shared vocabulary fordiscussing common requirements; Lossin wants to establish that shared vocabularyfor Rust code in the Linux kernel.