The rain just stopped, and the pool is completely empty. Perfect time for a peaceful swim?
https://m.stacker.news/48410