`docs +update` is not round-trip stable for the inner display text of `<mention-doc>`: caller-supplied label is silently replaced by the target document's live title