For links whose text is the same as the URL, don't duplicate.

Visual duplication is a waste of terminal space and causes difficulty in terms
of mental parsing.