from manual texi


Docs/manual.texi:
   - removed version numbers of GNU tools from the feature list
     (they are going to change from time to time again and the current
     required version number should probably be kept in one chapter only)