use long city name in HTML title, short name on printed page