Hi, I've just removed a duplicated section of highway here and noticed the crossing is tagged as "was:highway=crossing".   Has the crossing here really been removed? If so should the traffic light be removed?

Could someone local look into it please?

Regards Bernard.