I'm unfamiliar with the concept of "educational notes" in the compiler's codebase, although I can easily infer what's intended with them. My main question is how are they surfaced - what's rendering the markdown (if anything) when it's presented, and what's the context for the user when they're finding/reading these? Is it primarily GitHub's web interface, or multiple different avenues?
One thing I noted, but I don't know if it makes a difference, is that the code voice blocks (triple-backtick bits) were all swift, but the blocks were inconsistently labeled. Will that cause any issues for how/when they're rendered (DocC, for example, assumed swift as a default language for syntax highlighting - but other setups may not)