An open, curated atlas of the world's public hot springs. Unknown is a value; hidden local springs are deliberately excluded.