Ideally, I'd like to do this, or its equivalent: shell script to read a list of local HTML files, and then tell Safari to "print" to a PDF of the same source name.