Fun facts about the Central Library in downtown San Antonio