Nate Wessel
I think this is something that isn't very standardized yet. I changed that specific turn restriction to restriction:on_red because the bare restriction tag was preventing any turns in OSRM and probably other routers. I'm not sure if anything actually supports the tag yet though, and I'm not sure how we would know when the light is actually red. 