On 9/23/2024 2:02 AM, Walter Bright wrote: > https://github.com/WalterBright/documents/blob/38f0a846726b571f8108f6e63e5e217b91421c86/safer.md It's been merged into master now.