<div dir="ltr">This patch moves HTMLDiagnostics to lib/Driver.<br><br>-Zhongxing Xu<br></div>