Okay, I got my Graflok back from 20th Century Camera today -- they make and sell a 3D printed replacement to fit a Pacemaker, even send tiny wood screws with it for mounting.
The three holes at the bottom of the back match up well with the originals (though the originals are tiny machine screws that go into metal brackets, at least on my Annie), but the two top holes are more than an inch too close together. Shouldn't be any big deal to drill new holes, though I don't look forward to the multiple iterations of "cut a little and try it again" it's likely to take to get the countersinks exactly the right depth (these are not very long screws -- I'd guess they're #0 or #2 and threaded length about 1/8") without making an oversize hole all the way through.
If I'd known there was this much difference, I'd probably have contacted 20th Century to ask if they could make one with Annie hole spacing; it should be trivial to change the locations of the holes in their print files (especially if I were to send them my spare spring back to measure). I'll get it to work, but it's a couple hour project, instead of fifteen minutes to remove and replace five screws).