Pretty sure this is geranium macrorrhizum, cranesbill. This isn’t the native variety, geranium maculatum, which is a paler pink-purple, and which is what I actually meant to plant here. Oops.
I’ll probably add some — it’s less showy, but still pretty: https://hinsdalenurseries.com/products/wild-geranium/