Update Codex links

Some are very generalized; I think adding example loops and/or related
semantics info may be the way to go for this to be of any interactive
value, though.