One year after my appeal for suggestions: I decided on Geranium sanguineum 'Tiny Monster'. The varietal nickname is well deserved: I was expecting something small just to set off the bare rock, but this new player thinks he's the star of the show !
Here's the original again, and the new addition.
As you see, it is glorious !
Thanks for all your ideas.