Has there already been discussion of merging some of the GNU Manuals into the FLOSS Manuals or Booki collections? http://www.gnu.org/manual/manual.html