Where are these short names used other than the source file linked?

This doesn't appear to be the intention of short_name to me, and it's messing up the view on ORM (openrailwaymap).

If it really is an official use, I guess it needs to be put under another attribute. short_name is meant to shorten things like Hauptbahnhof to Hbf, not to replace a station name by 2 letters.

If it is not an official use outside this one file, it might as well not be here imo.