Yes it doesn’t mean print, but it’s a valid computer term and it serves the purpose here, coz in the future they may not only export PDF for printing. I agree some IT terms can be confusing though.
Export is a commonly accepted computing term for transforming your data into another form that you can use/download (PDF for printing, maybe Word or Excel in fhe future, etc)