Added support for the deprecated tag (renders a shortDeprecated and a deprecated tag for relevant elements)