Full threadZanyProgrammer·I had to look this up to verify, but the actual population of the city is about a quarter of a million, the 50k refers to the historic part of it.View on HN