Rewrote PrintingExecutor.js to use the ServiceCall. This is more useful and direct and also enables error checking by the frontend.
Change the Printing window dialog to show the target "Download to file" as an explicit selectable field.