issue #19444: print and export are now two different options