Use short name if available.

This would discard platform numbers, which are often bullshit anyway.

Available in the upcoming version of the Journey Planner API.