A beloved spring-fed swimming pool inside Zilker Park, known for cool water, grassy banks, and a distinctly Austin mix of lap swimmers, sunbathers, and year-round regulars.