Hmm I think you're right; in most other parts of that text it says
'bash reads and executes commands from /etc/bash.bashrc and ~/.bashrc, if these files exist.'
but that section does have ~/.bashrc twice.
It doesn't seem to be upstream bash, but seems to be in the debian/ubuntu man-bashrc.diff patch.
Hmm I think you're right; in most other parts of that text it says
'bash reads and executes commands from /etc/bash.bashrc and ~/.bashrc, if these files exist.'
but that section does have ~/.bashrc twice.
It doesn't seem to be upstream bash, but seems to be in the debian/ubuntu man-bashrc.diff patch.