Would a Hula Hoe work well enough on these rocks? Or should I just shovel up everything, re-tarp, and re-rock? Other suggestions?

My wordy title is pretty much everything 😅.

New to home ownership, I didn't know about pre emergent (or if it would've even worked for this)?

Lots of gras came up between these rocks despite having a tarp under these rocks (the tarp is a minimum of 10 years old though I think). I put down grass killer and then went away for vacation. Now I have more greens!

Effectively, what would be the best way to remove this grass? I've been doing it all by hand but it's pretty much miserable, there is more rock bed than what is in this picture.

I think if a hoe works I would be pretty happy with it, but I'm not sure if there'd be a better way to tackle this?