Doc: borrowing - local borrowing.
(committing what there is; not checked for consistency.)