GFCI's are ordinarily set at 5mA for "personnel protection." This is well below the 'usual' fatal level - more akin to an 'annoying shock.'
Do you have some references for that?
The fact that 5 ma may not kill anyone has no bearing on any of what we should be doing out in the field.
Of course the set point of a GFCI was chosen to be under the 'normal fatal level' they would be pointless if that was not the case.
However when we respond to a GFCI tripping call we have no way at all of knowing if it tripped at 8 milli-amps or 8 amps.