Final version of the documentation.