As of [JDK-8247957](https://bugs.openjdk.java.net/browse/JDK-8247957), doclint no longer supports html4. Tested: Some test failures are present, but the CL author has decided to mail the change anyway PiperOrigin-RevId: 378819179
