../ STEP-COPYING 20-Mar-2025 19:33 5253 step-fonts.pdf 20-Mar-2025 19:33 38774 step-fonts.tex 20-Mar-2025 19:33 3792