Appears to have been an insect that caused the damage; it is gone now. No need to remove the leaves unless the appearance bothers you; they are still producing food, just less efficiently than the prettier leaves.

Thanks for the advice

I've never understood why that's suggested.

Why remove leaves when the critters are gone and the leaves still have plenty of green leaf tissue to assist the plant's general health?

if its just pest dmg, then we leave it alone to keep photosynthesizing.

if its a disease we remove to keep it from spreading. but need to positively id the cause.