Dear Matthias: If the default HAVE_DOT is changed to "no", it is relatively easy to check which packages would need to add "graphviz" to their build-depends. (See the thread in -devel about this).
In other words: If you think that's the right fix (I do), don't worry about the additional bugs that will have to be reported as a consequence. Thanks.
