O comando WP DELETE BOOKMARK elimina o marcador chamado nombk de docWP.
Se o marcador nombk não existir em docWP, o comando não faz nada.
Se quiser renomear uma bookmark existente, precisa criar uma nova bookmark com a mesma faixa, e então apagar a antiga:
  C_TEXT($bookmarkOldName)
 C_TEXT($bookmarkNewName)
 C_LONGINT($p)
 C_OBJECT($wpRange)
 
 $bookmarkOldName:="MyBookmark"
 $bookmarkNewName:="MyNewBookmark"
 
 ARRAY TEXT($_bookmarks;0)
 WP GET BOOKMARKS(WParea;$_bookmarks)
 
 $p:=Find in array($_bookmarks;$bookmarkOldName)
 If($p>0)
    $wpRange:=WP Get bookmark range(WParea;$bookmarkOldName)
    WP DELETE BOOKMARK(WParea;$bookmarkOldName)
    WP DELETE BOOKMARK($wpRange;$bookmarkNewName)
 End if