Move comment on the 'stepping over resolver' mechanism to the internals manual.