Understanding the impact of a Covid-19 infection on diving