Note that the online documentation is kept (roughly) up-to-date for the current development version. For prepackaged releases, the documentation stored within the doc/html direction of the release itself should be more reliable.