documentation.txt: version number changed.