RFR: 8247957: remove doclint support for HTML 4

[Yoshiki Sato]

On Fri, 13 Nov 2020 02:05:23 GMT, Yoshiki Sato <ysatowse at openjdk.org> wrote:

>> test/langtools/tools/doclint/tidy/InvalidName.out line 3:
>> 
>>> 1: InvalidName.java:17: error: invalid name for anchor: "foo()"
>>> 2:  * <a id="foo()">invalid</a>
>>> 3:       ^
>> 
>> This seems incorrect. In HTML5 all names are valid unless they contain whitespace.
>
> Understood.  Need to file it as another DocLint bug.

Filed as [JDK-8256312](https://bugs.openjdk.java.net/browse/JDK-8256312)

-------------

PR: https://git.openjdk.java.net/jdk/pull/893