Regenerated HTML docs