graphviz uses IDs as labels

Problem/Motivation

graphviz uses the IDs as vertex labels, and so things like this have no effect:

    $user->setAttribute('title', 'Users');

Steps to reproduce

Proposed resolution

Remaining tasks

User interface changes

API changes

Data model changes