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