The main problem with the Khan version is that it got huge; they were subdividing things down to about the level of an individual half-hour lesson. For someone interested in wider strategic planning, something like this would be a bit more reasonable, as long as you added in the annotations. This book is also reviewed as a good way to conceptualize the macrostructure of mathematical reasoning, although I can't vouch for it personally.