Issue #25225: add revised .html.
1 file changed