This return integrates a modified version of Matt Armstrong's
extension to my header cache code. Matt documented his extensions
in the file README.header_scan_cache, read that file for details.
The modifications to his extensions are recorded in the integration
history of this return. My modifications retain all of the new
properties Matt added in his extension, but it is implemented in
a slightly different way. He has reviewed my changes to his changes
and approves of them