doc updates and supporting html and other extensions