Do not include error source() in display() format.
According to doc/Errors.md, and in keeping with current best
practices, we should not include display an error's source()
as
part of that error's display method. Instead, we should let the
caller decide to call source() and display that error in turn.
Part of #323 (closed).