Hmm, divers have known the dolphin kick for years (decades?) as a way to move underwater at speed, but you’re rarely near the surface or the bottom to have effects from the surface interfaces. Interesting.