Affirmative, this works. This is a good solution. :) Thus providing a different filename on Special:PdfPrint works too now. Before it has not.