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.

While cloud storage services are convenient for sharing files across all your devices, sometimes there’s no substitute for a local file transfer. That’s where LocalSend comes in. This free ...