Ooh - I wasn't aware of the existence of that tag! I really appreciate you sharing it, because (especially in recent discussions in the OSM-US Pedestrian Working Group meetings) it's come up that these very minor crossings don't have a clear way to distinguish them - this seems like a great tagging solution.

I've added this tag to my crossings-tagging preset and updated these four crossings (Changeset: 152963243) to include its use.

Thanks, and happy mapping!