New OSM tool (to me):
It is an easy way to see where lights are already mapped, and what still needs to be covered. I do believe MapComplete has one as well.
@clifton Correct: our street light map is here: https://mapcomplete.org/street_lighting.html?
Feel free to tag us on your future posts!