The fact remains that it would be up to the whistle-blower to make that choice, being fully aware of the implications. They might decide to make a public disclosure in order to potentially have the matter dealt with more quickly, knowing that their identity would no longer be protected. By adding the proposed wording, we are still giving the whistle-blower that choice.
Very well, thank you.