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)