… and read it in all the loaders. hscan is modified to save it to the
files it generates.

The attribute is not yet used in any place.