squash! Minor updates to doc
squash! Minor doc updates
Fixed search results in HTML doc