Usted quiere cambiar el nombre de un marcador existente. Para ello, es necesario crear un nuevo marcador con el mismo rango y luego, eliminar el anterior:
$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