  A graph is diameter-2-critical if its diameter is 2 but the removal of any
edge increases the diameter. A well-studied conjecture, known as the
Murty-Simon conjecture, states that any diameter-2-critical graph of order n
has at most n${}^2$/4 edges, with equality if and only if G is a balanced
complete bipartite graph. Many partial results about this conjecture have been
obtained, in particular it is known to hold for all sufficiently large graphs,
for all triangle-free graphs, and for all graphs with a dominating edge. In
this paper, we discuss ways in which this conjecture can be strengthened.
Extending previous conjectures in this direction, we conjecture that, when we
exclude the class of complete bipartite graphs and one particular graph, the
maximum number of edges of a diameter-2-critical graph is at most ((n --
1)${}^2$/4) + 1. The family of extremal examples is conjectured to consist of
certain twin-expansions of the 5-cycle (with the exception of a set of thirteen
special small graphs). Our main result is a step towards our conjecture: we
show that the Murty-Simon bound is not tight for non-bipartite
diameter-2-critical graphs that have a dominating edge, as they have at most
(n${}^2$/4) -- 2 edges. Along the way, we give a shorter proof of the
Murty-Simon conjecture for this class of graphs, and stronger bounds for more
specific cases. We also characterize diameter-2-critical graphs of order n with
maximum degree n -- 2: they form an interesting family of graphs with a
dominating edge and 2n -- 4 edges.
