Sorry Mike - apologies. This is something that would take two and a half minutes in person but is complicated to write. Double apologies if my post was not clear. Here goes again:
First, I ground the arm to the grounding screw on the back of the preamp with a typical spade connection - tighten the screw and it holds the spade in place. There are, of course, two of such screws on the back of the preamp, but I only connect to one of them for reasons associated with my table/arm configuration. I think this is your option 3 above.
Second, those same two screws permit the insertion of a banana plug, in addition to the typical spade connection without having to do anything to them. So, I run two banana to banana wires from the QKore grounding base (or it could be an Altaira, etc.) and insert a banana into each of the screws on the back of the preamp. I think (but am not sure) that this is closest to your option 1 above, but I didn't have to remove the screw in order to do this - the banana just fits right into the same screw that holds down the spade. What surprised me was that the screws on the preamp have the female banana connection built into them. This may not surprise others, but it surprised me.
As I mentioned, I haven't discussed this with Herve or anyone, but experienced tangible SQ improvement with the arrangement. Of course, I haven't been able to get grounding results to be precisely predictable yet across multiple components and grounds, so everyone's mileage may vary.