../ STEP-COPYING 01-May-2024 19:34 5253 step-fonts.pdf 01-May-2024 19:34 38774 step-fonts.tex 01-May-2024 19:34 3792