Non-ASCII symbols made their way into JS comments

src/date-delay.js

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 247 matching lines @@
 function TimeInYear(year) {
   return DaysInYear(year) * msPerDay;
 }
 
 
 var ymd_from_time_cache = [$NaN, $NaN, $NaN];
 var ymd_from_time_cached_time = $NaN;
 
 function YearFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }
 
     %DateYMDFromTime(t, ymd_from_time_cache);
     ymd_from_time_cached_time = t
   }
 
   return ymd_from_time_cache[0];
 }
 
 function MonthFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }
     %DateYMDFromTime(t, ymd_from_time_cache);
     ymd_from_time_cached_time = t
   }
 
   return ymd_from_time_cache[1];
 }
 
 function DateFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }
 
     %DateYMDFromTime(t, ymd_from_time_cache);
     ymd_from_time_cached_time = t
   }
 
   return ymd_from_time_cache[2];
 }
@@ skipping 774 matching lines @@
     "toGMTString", DateToGMTString,
     "toUTCString", DateToUTCString,
     "getYear", DateGetYear,
     "setYear", DateSetYear,
     "toISOString", DateToISOString,
     "toJSON", DateToJSON
   ));
 }
 
 SetupDate();