Several issues:
a) unreviewed
b) returning inside a constructor is bad habit, as it may leave the
class instance half-initialized
c) the fix is at the wrong location, the DocumentationView ctor should
not be called in the first place => find out *when* it is being called
during shutdown (=> put breakpoint on DocumentationView() in gdb, lldb)

This reverts commit 4b4806d0.