8337111: Bad HTML checker for generated documentation
8337113: Bad character checker for generated documentation
8337116: Internal links checker for generated documentation
8337114: DocType checker for generated documentation
8337117: External links checker for generated documentation
Reviewed-by: prappo
Backport-of: ed292318a98163b3226aa05d06825b48c3d97dbb
