Greater Greater Washington: Metro will shorten names using subtitles