New roof install — am I being overly nitpicky or should this shingle be replaced?

Just had a new roof installed and noticed this shingle at the front edge right next to the ladder. It looks like it may have been damaged and then patched rather than replaced.

I’m trying to figure out if this is normal/acceptable workmanship or if I should ask the roofer to replace this shingle. Am I being overly picky, or is this something that should be corrected on a brand-new install?

https://preview.redd.it/1heap30z67ag1.jpg?width=8160&format=pjpg&auto=webp&s=3cabff662d7c7c5e55dbb4a63e5eb23a636124f6

https://preview.redd.it/f7m7mwa877ag1.jpg?width=8160&format=pjpg&auto=webp&s=47805a1c20e9ac829a0533de27976694ec4574ad

https://preview.redd.it/gpjcy9wd77ag1.jpg?width=8160&format=pjpg&auto=webp&s=4b33d2dbef9af26592a81a0780470a17f13c7013