Finally fixed the extlinks:example in doc/conf.py.