Jarek 🚲
Yeah, I've been adding the restriction:on_red tagging and noted it in https://wiki.openstreetmap.org/wiki/Talk:Relation:restriction#No_Turn_On_Red

The benefit for routing is in scoring - being able to tell that some particular intersections are less amenable to right turns than others in Toronto, and thus perhaps avoiding making right turns at them. It doesn't need real-time light status to adjust the score.

I've been meaning to add this one but have been waiting for when I have more updates for the area.