Suggestion: adding one line to the "Signals" manual section

[Simone Robinson]

Dear GNU Bash maintainers,
I would like to make a small suggestion regarding the current documentation in 
the hope that it spares future users a bit of "head scratching" and several 
hours of research.
On line 3182 of jobs.c (https://github.com/bminor/bash/blob/master/jobs.c), 
readers can find the following comment:
"If we are non-interactive, but job control is enabled, and the job died due to 
SIGINT, pretend we got the SIGINT."
The IF block following the comment then includes a smile-worthy "for now". 
Since six years have passed since Bash 5.0 was released, does this behaviour 
not merit being documented officially now? A single line acknowledging the 
resultant exit of a script could be added to the "Signals" section of the 
current manual.
Thank you for considering this suggestion,Simone Robinson