I have also updated the public documentation on www.gnu.org. The sections that changed regarding 'bootstrap' are:
https://www.gnu.org/software/gnulib/manual/html_node/VCS-Issues.html https://www.gnu.org/software/gnulib/manual/html_node/Developer-tools.html Bruno
