Followup-For: Bug #998820 Please add this file to the list of overly generic python modules, too: /usr/lib/python3/dist-packages/docs/conf.py Andreas