There is a revised Service Manual that shows the trimmer on the HV Board. That manual is labeled "REV B May 1980" on the first page of the Table of Contents. So this was a Tektronix factory modification that probably allowed the HV Board to be tuned for different versions of the CRTs.
