[SunkenCiv]

https://en.wikipedia.org/wiki/Earth_trojan

https://en.wikipedia.org/wiki/List_of_objects_at_Lagrange_points

[Verginius Rufus]

Thanks. Astronomy has gotten a lot more complicated than it was when I was a kid, when there were 9 planets, Jupiter had only 12 moons, and no one knew what the far side of the moon looked like.