}else if( memcmp(&zSnip[j],"<",4)==0 ){
        zSnip[k++] = '<';
        j += 3;
      }else if( memcmp(&zSnip[j],"&gt;",4)==0 ){
        zSnip[k++] = '>';
        j += 3;
      }else if( memcmp(&zSnip[j],"&quot;",6)==0 ){
        zSnip[k++] = '"';
        j += 5;
      }else if( memcmp(&zSnip[j],"&amp;",5)==0 ){
        zSnip[k++] = '&';
        j += 4;
      }else{
        zSnip[k++] = c;
      }
    }else{
      zSnip[k++] = c;
    }

      "INSERT INTO x(label,url,score,id,snip)"
      "  SELECT format('Built-in help for the \"%%s\" %%s',name,type),"
      "         '/help?cmd='||name,"
      "         search_score(),"
      "         'h'||rowid,"
      "         search_snippet()"
      "    FROM helptext"
      "   WHERE search_match(format('the \"%%s\" %%s',name,type),"
      "                      helptext.helptext);"
    );
  }
}

/*
** Number of significant bits in a u32
*/