u/Nice-Force9269

I have a huge patch of crab grass in my lawn, and I’m hoping for tips on how to handle this while overseeding. In my mind I have 3 options:

1. Nuke the patches with weed killer (glyphosate)
2. Try pulling it all by hand or with a tool
3. Leave it be and hope the seeds get under the crab grass and onto the soil

Location is Kansas City. If this is a stupid question feel free to call me out