I decided to take your suggestion and looked back at John Kerry's DD214s, also from 1972. Not only were multiple machines used, but proportional fonts as well.