Are divers OK with having fatal shark attacks while spearfishing not counted in general shark attack stats?

Unfortunate event two days ago: School chaplain killed while spearfishing in shark attack at Humpy Island, Australia. We do not have info yet on how the international Shark Attack File is going to report/record this but two years ago ISAF adopted a new standard:

The death of a British man who was fatally mauled by a shark (in Australia, 2022) has been controversially classified as a “provoked incident”.

Nellist...had been swimming at Little Bay, a popular Sydney beach...when he was attacked...Gavin Naylor, the director of the Florida Program for Shark Research (said) “in the case of Simon Nellist, there were people fishing nearby”, making it a “provoked” incident.

In 2023 sharks killed 14 people. ISAF widely reports 10 fatalities.

fatal shark attacks....jumped from five to 10 between 2022 and 2023...The ISAF arrived at the numbers of both fatal and non-fatal attacks by tallying what it calls "unprovoked" bites on humans. Unprovoked bites are "incidents in which a bite on a live human occurs in the shark's natural habitat with no human provocation of the shark," reads a definition on the Florida Museum of Natural History's website...

A shark attack that does not meet the criteria for an unprovoked bite may be classified as "provoked" instead. Provoked bites are those that "occur when a human initiates interaction with a shark in some way...These include instances when divers are bitten after harassing or trying to touch sharks, bites on spearfisherman, bites on people attempting to feed sharks, bites occurring while unhooking or removing a shark from a fishing net and so forth," the definition continues. (bolded for emphasis)

And what about a discussion or references to the provoked attacks? Apparent ISAF perspective:

We don't need to talk about those...

The Global Shark Attack File, another shark-attack recording organization, writes:

GSAF defines a provoked incident as one in which the shark was speared, hooked, captured or in which a human drew "first blood."

GSAF's data for 2023 cited 14 fatal attacks and also 3 suspicious disappearances at sea that might have had shark involvement. People disappearing while swimming, surfing or snorkeling is a recurring thing in parts of the world, especially Hawaii.