Links bookmarklet: fix for escaped characters

The Links bookmarklet works well with Safari 1.1 (v100). There is a small problem, though. If the title of a page contains one or more escaped characters like ‘, ” or \ the title of the new link will have backslashes inserted before each one of these chars.
The fix is very simple. In wp-admin/linkmanager.php, line 423 or so :
Find:

$link_url =$HTTP_GET_VARS["linkurl"];
$link_name = $HTTP_GET_VARS["name"];

Replace with:

$link_url = stripslashes($HTTP_GET_VARS["linkurl"]);
$link_name = stripslashes($HTTP_GET_VARS["name"]);