<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">I need to add a new entry to <span style="font-family: Menlo; font-size: 11px;">UsersManual.rst. I cannot find a documentation how I sanity check </span><div><span style="font-family: Menlo; font-size: 11px;">the change.</span></div><div><span style="font-family: Menlo; font-size: 11px;"><br></span></div><div><span style="font-family: Menlo; font-size: 11px;">- Thanks, Fariborz</span></div><div><span style="font-family: Menlo; font-size: 11px;"><br></span></div></body></html>