Restore hsbencher to depth 524, 1.12 release.  Accidentally reverted by 22c58aa