19.24.3 (2019-08-14) Bug Fixes html-sanitize: Sanitize HTML comments in PR (#4285) (4ee030a), closes #3715