Little-known perks at the Austin Public Library