Add (date) last modified to diagram label.  Whether the date last
modified is visible or not is configurable in the main preference page,
so is the pattern of the date formatter.