Deprecate header.reduction

[phirstgemini]

Header.reduction should be deprecated, for the searchform it's superseded by the processing info. It's used in calibration association, and that should be replaced by direct references to tags.