docs(when-verify): fixes to explanations about redundancy - #3838

Fixes #3837

• Spacing
• Example method consistency
• Placement of the word “even”

NB: In one place, the “stray get(0)” issue was already fixed (or was never present to begin with).

Checklist

• Read the contributing guide
• PR should be motivated, i.e. what does it fix, why, and if relevant how
• If possible / relevant include an example in the description, that could help all readers
  including project members to get a better picture of the change
• Avoid other runtime dependencies
• Meaningful commit history ; intention is important please rebase your commit history so that each
  commit is meaningful and help the people that will explore a change in 2 years
• The pull request follows coding style (run ./gradlew spotlessApply for auto-formatting)
• Mention Fixes #<issue number> in the description if relevant
• At least one commit should end with Fixes #<issue number> if relevant