Note:
The resulting page first displays the short manual-page, and further down the more detailed info-page.
Depending on your operating system, some options might vary.
Pages generated on:
BASH_EXECUTION_STRING='set |grep BASH_VERSION'
BASH_VERSION='5.0.17(1)-release'