PDF
Created with Draw.io.
To edit the graph, load the .html file into Draw.io.
Export to pdf with Draw.io directly (export to / pdf).