“The number of residents downtown has nearly doubled in seven years, to about 30,000, according to the Centre City Development Corp., the city’s redevelopment agency. Some $4.3 billion of development is either planned or under way around Petco Park alone. The downtown buzz is drawing even big arts organizations not previously identified with this part of town.”