@Derick2k 's pins arrived today, and I tried them out:
First of all, the pins fit fine into the holes, though it is a bit fiddly putting them in.
Aligning all pins of an EPROM was a bit tedious, I had to use magnification and a small jeweller's screwdriver. I've got recycled EPROMS with slightly bent legs, so if you have fresh new-old-stock it may be easier.
The EPROM doesn't sit flush with the PCB, there is still quite a gap, though a lot less than a socket.
This hole is one of the mounting posts, and it sits flush with the PCB. So spacing looks ok.
Unfortunately I don't have a transparent shell available, so I can only check with the caliper relative to the mounting post. There should be a small air gap above the EPROM.
For the initial installation it may be a good idea to first put the pins onto the pins of an EPROM, then fitting it into the PCB. That may be a lot quicker then installing the pins and then trying to insert the EPROM.
It is probably not a solution for quick changes, but to have a chance to replace faulty EPROMs without desoldering.
Side by side: MilMax, normal socket, normal socket + EPROM
Edit: And I just noticed that I lost the silkscreen changes when I updated the footprints. #@$%