Opened the PDF in Gimp and measured, then cropped page2 and changed the resolution after measuring the DIP leads spacing. Was 100 DPI now 210DPI, so YMMV on it.
Kind of liking this new GIMP version, even though it annoyingly only will save in certain file formats, to get the more common file types you have to export it. But it does the job well enough, still getting to know just how much it can do. Works for pretty much all image manipulation I do in any case.