Comment by 1718627440

Actually in this case it looks like the error was that the light did show green, when it should be ignored: https://news.ycombinator.com/item?id=50298796