Doc: Auxiliary pointers (formerly "back-pointers"): Better API.