So the new place is in a civilized neighborhood, and I'm thinking of
acquiring a real edger. She has a manual type but it's tiring to use. I
edged once with the string trimmer but went through a lot of string.

Craigslist has some used electric and gas powered edgers; I'm inviting
feedback on brands or styles to look for or avoid.