diff -r a33f67e15345 -r 6ed429390935 src/source/conf.py
--- a/src/source/conf.py	Thu Apr 12 18:01:15 2018 +0200
+++ b/src/source/conf.py	Fri Apr 20 16:52:49 2018 +0200
@@ -69,7 +69,7 @@
 extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.todo',
-    'sphinx.ext.coverage',
+    #'sphinx.ext.coverage',
     'sphinx.ext.viewcode',
     'repoze.sphinx.autointerface',
 ]
@@ -242,3 +242,4 @@
 
 def setup(app):
     app.add_stylesheet('css/custom.css')
+