At least in bash 4.4, the manpage and the info page are two different documents. Many GNU manpages are generated with help2man, which causes the opposite probl

At least in bash 4.4, the manpage and the info page are two different documents. Many GNU manpages are generated with help2man, which causes the opposite problem, i.e. they are too terse. (Also, their typographical quality is often low.)