In the wake of recent user confusion, we improve the docs for when to call instr_destroy() vs instr_free().