This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
From Björn Höhrmann: It's "document type declaration", not "DOCTYPE declaration", please keep the terminology straight
AFAIK, it's "Document Type Definition" and "DOCTYPE Declaration". Until someone convinces me otherwise, this bug is "WONTFIX/NOTABUG". :-)