Curly right-quote

Is anybody but me interested in the following hack (shown in context):
$curl = preg_replace(“/(\S)'([^’\s])/”, “$1’$2″, $curl);
$curl = preg_replace(‘/(\s|\A)”(?!\s)/’, ‘$1“$2′, $curl);
// BC Hack — curl quotes followed by R paren, period, and comma
// $curl = preg_replace(‘/”(\s|\Z)/’, ‘”$1′, $curl);
$curl = preg_replace(‘/”(\s|\Z|\)|\.|\,)/’, ‘”$1′, $curl);
(the last line is the only line that was changed)
This change (around line 31 of functions-formatting.php, in the function wptexturize()) cleans up the quote marks that don’t get turned into curly quote marks and it seems to behave itself.
Does one of the regular developers want to enter this in, or do I need to sign up as a developer?