docs: drop braggy tone, rename SEL4_REVIEW -> SYSTEMS_REVIEW#4

orange-dot merged 1 commit into

mainorange-dot/ekk-runtime:mainfrom

b2-evaluate-ballot-prooforange-dot/ekk-runtime:b2-evaluate-ballot-proofCopy head branch name to clipboard