Button operated traffic signals

Surface=fine_gravel - is it for loose gravel or duplicate of surface=compacted is about adjusting wiki description to how tag is actually used, not about redefining wiki and expecting that tagging will follow.

It is not “what surface=fine_gravel should mean” it is “what surface=fine_gravel actually means” (based on actual use by OSM mappers)