I think that /usr/doc/bash should at least mention http://www.gnu.org/manual/bash-2.02/bashref.html. Am I correct that there is no such reference ? What about including some (all ??) the stuff that is found on this URL with Debian distro ?