Hello. For reference | Execute 'man <Bash function>' e.g 'man alias'; this opens a BASH_BUILTINS(1) titled manual. The obvious is then noticeable: a manual entry for bash_builtins does exist. Once it is searched with 'man', it is no longer found.
To reproduce: $ man bash_builtins No manual entry for bash_builtins Regards.