'success' argument, but its description is given only in mapping-search, the last of them.

I suggest to move the description of 'success' procedure under the mapping-ref,

and other entries refer to it.