[css-syntax] \EOF turns into U+FFFD except when inside a string, in which case it just gets dropped.

WG resolution:
http://www.w3.org/2013/06/05-css-irc#T08-32-49

Author: SimonSapin

css-syntax/Overview.html

@@ -1821,16 +1821,16 @@ <h4 id=consume-a-string-token><span class=secno>4.3.4. </span> <dfn
 
    <dt>U+005C REVERSE SOLIDUS (\)
 
-   <dd> If the stream <a
-    href="#check-if-two-characters-are-a-valid-esca0"><i>starts with a valid
-    escape</i></a>, <a href="#consume-an-escaped-character0"><i>consume an
-    escaped character</i></a> and append the returned character to the
-    〈string〉’s value.
+   <dd> If the <a href="#next-input-character"><i>next input
+    character</i></a> is EOF, do nothing.
     <p> Otherwise, if the <a href="#next-input-character"><i>next input
      character</i></a> is a newline, consume it.
 
-    <p> Otherwise, this is a <a href="#parse-errors"><i>parse error</i></a>.
-     Create a 〈bad-string〉 and return it.
+    <p> Otherwise, if the stream <a
+     href="#check-if-two-characters-are-a-valid-esca0"><i>starts with a valid
+     escape</i></a>, <a href="#consume-an-escaped-character0"><i>consume an
+     escaped character</i></a> and append the returned character to the
+     〈string〉’s value.
 
    <dt>anything else
 
@@ -2021,6 +2021,10 @@ <h4 id=consume-an-escaped-character><span class=secno>4.3.7. </span>
         codepoint</i></a>, return U+FFFD REPLACEMENT CHARACTER (�).
         Otherwise, return the character with that codepoint.
 
+       <dt>EOF character
+
+       <dd> Return U+FFFD REPLACEMENT CHARACTER (�).
+
        <dt>anything else
 
        <dd> Return the <a href="#current-input-character"><i>current input
@@ -2049,7 +2053,7 @@ <h4 id=check-if-two-characters-are-a-valid-esca><span
        false.
 
       <p> Otherwise, if the second character is a <a
-       href="#newline"><i>newline</i></a> or EOF character, return false.
+       href="#newline"><i>newline</i></a>, return false.
 
       <p> Otherwise, return true.
 

css-syntax/Overview.src.html

@@ -1092,9 +1092,8 @@ <h4>
 
 		<dt>U+005C REVERSE SOLIDUS (\)
 		<dd>
-			If the stream <i>starts with a valid escape</i>,
-			<i>consume an escaped character</i>
-			and append the returned character to the 〈string〉’s value.
+			If the <i>next input character</i> is EOF,
+			do nothing.
 
 			<p>
 				Otherwise,
@@ -1103,8 +1102,9 @@ <h4>
 
 			<p>
 				Otherwise,
-				this is a <i>parse error</i>.
-				Create a 〈bad-string〉 and return it.
+				if the stream <i>starts with a valid escape</i>,
+				<i>consume an escaped character</i>
+				and append the returned character to the 〈string〉’s value.
 
 		<dt>anything else
 		<dd>
@@ -1312,6 +1312,10 @@ <h4>
 			return U+FFFD REPLACEMENT CHARACTER (�).
 			Otherwise, return the character with that codepoint.
 
+		<dt>EOF character
+		<dd>
+			Return U+FFFD REPLACEMENT CHARACTER (�).
+
 		<dt>anything else
 		<dd>
 			Return the <i>current input character</i>.
@@ -1339,8 +1343,7 @@ <h4>
 
 	<p>
 		Otherwise,
-		if the second character is a <i>newline</i>
-		or EOF character,
+		if the second character is a <i>newline</i>,
 		return false.
 
 	<p>