in-doc destination anchors for #16