Update CONTRIBUTORS. Better comment in conf.py.