than trying to copy them (they might have been "bk clean"ed and thus
   not available for copying)
 - Brushed up the Bootstrap online help a bit


Build-tools/Bootstrap:
   - Rather "bk cat" the files from the mysqldoc BK tree than trying to
     copy them (they might have been "bk clean"ed and thus not available
     for copying)
   - Brushed up the online help a bit