Remove version number in doc/conf.py.

Fixes #6222