Is the Ddoc heading really necessary?

[Andrei Alexandrescu via Digitalmars-d]

Destroy! https://issues.dlang.org/show_bug.cgi?id=15465

Andrei