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