(Ein halbes Jahr später wieder auf meine eigene Frage gestoßen.)
Das img2pdf
von by infixed in den obigen Kommentaren empfohlene Werkzeug funktioniert einwandfrei. Es ist ein wenig umständlich, Python zu installieren, ein Pip-Paket zu installieren und das Skript auszuführen, aber es gelang mir schließlich, es sogar unter Windows zum Laufen zu bringen.