Refine documentation
Update coverage info