This is an update of the documentation. No change of files.