Hallo Frau Herrmann,
leider lässt sich das so nicht einstellen, da der PDF-Export seitens des Betriebssystems/Druckertreiber realisiert wird. Darauf hat Revolver keinen Einfluss.
Sie können jedoch die Datei zunächst auf den Schreibtisch sichern und dann den Namen ändern.
Viele Grüße aus Aachen
Ihr Revolver-Team