Doc goes way back to the days when the term "printing" referred not only to the process of putting ink on paper, but also the process of composing pages using typesetting and other graphic arts tools.