In case you were not already aware, September 30 was the last day of the 2022 swimming season. But do not despair! It will reopen in May. The exact date will be announced next year. In the meantime . . .