I saw that, but clicking on path=crossing there brings one to the highway=path article, where there is no description of such a tag. That is what I mean by undocumented, this tag seems ad hoc and real-world usage in tools is low. Moreover, the footway=crossing tag on the English wiki says that it is widely used for highway=path, and this was carried over as a recommendation into the PL wiki.