You are not providing any argument, apart from you wanting to dive. But it procures much more health to many people to use basins for swimming, so diving should

You are not providing any argument, apart from you wanting to dive. But it procures much more health to many people to use basins for swimming, so diving should be removed. Besides, diving is a set of things to learn, so learning diving on holidays is sufficient. Like windsurf. “Don’t knock on windsurfing at my local pool” wouldn’t cross my mind.