This is something we should have been doing anyway.

This is broken out from the previous differential. I had in fact squashed this commit beforehand before using "git arc" for the first time, to avoid raising multiple Differentials, so I quickly had to learn about "git reflog" and cherry-pick what was squashed, as glebius stated he preferred this change was staged separately.

Compile tested only with LINT at present.

PR: 193246 (with refinements)