Various UI fixes, code documentation, almost-correct locking around graphviz svg generation.