Thanks for adding these crossings. In the UK, a crossing marked with dots and adjacent to a highway=traffic_signals node should be tagged as crossing=traffic_signals.

With appropriate tagging on these crossings, users of apps like StreetComplete will be able to check for accessibility features like sound and tactile signals.