If the DoF info reporting does get tweaked, to correct the near.dof at infinity, may I request you consider adding one more piece of info, namely an estimate (sic) of the number of (non-macro) focus brackets from the current focus point (fp) to the hyprerfocal (H).
This can be estimated simply from (H+fp)/(2*fp). When the fp is at H or beyond the number would be 1.
The number of brackets increases rather rapidly for longer focal lengths, and thus focus stacking is usually restricted to shorter lens settings. The user should be aware of this as part of the DoF feedback IMHO.