I think the article perpurtrates at least one myth that leopard seals attack people. The report of a seal jumping out of the water is likely created to sell newspapers/books and increase the stature of the explorer. This over-telling of tales occurred on a regular basis amongst (antarctic) explorers.
I also believe that leopard seals rarely, if ever, attack and kill southern elephant seals. Even the youngest pups are enoromous and likely cannot be taken by a leopard seal. Remember again that the main food items are #1 - krill weighing about 1 gram, #2 - penguins weinging perhaps 15 pounds, and #3 - < 3 (?) month old crab eater seals. Depredation of young crabeater seals seem to be extensive, as indicated by tooth scars on older seals. I have never heard of Ross seal being a prey item though.
In general leopard seals seem to be quite comfortable with humans and perhaps are becoming increasingly so. Some divers are filming and photographing these animals with no incidents beyond what appears to be curiousity. Doug Allen and others at BBC have filmed them and Phil Nicklen has done extensive photography.
I would not encourage anybody to "play" with these animals but I do not think we need to fear them, treat them with respect and be aware of them. I have had many leopard seals investigate me and my boat but never a problem. I have also had humpback and dwarf minke whales investigate me, never to ill effect. Massive predators may be curious but they are often selective in their prey and curious otherwise.