Fixing various things, including the PR review not being accepted#391

PLeVasseur merged 3 commits intorustfoundation:mainrustfoundation/safety-critical-rust-coding-guidelines:mainfrom

PLeVasseur:fix/issue-388-review-approvalPLeVasseur/safety-critical-rust-coding-guidelines:fix/issue-388-review-approvalCopy head branch name to clipboard