Homepage Property Name Rendering

For the doctype homepage document property the doctype identifier is rendered in case neither the doctype homepage nor the doctype index page has been found. In case the doctype actually exists, we should render the name of the doctype instead of the doctype ID. The doctype ID should only be rendered in case the doctype does not exist.

Reason: Reading the name of the doctype is more convenient for the user.