Specs: Tokeniser fixes: simplify the entity parser to just do string compares, fix copy-pasta

sky/specs/parsing.md

 Parsing
 =======
 
 Parsing in Sky is a strict pipeline consisting of five stages:
 
 - decoding, which converts incoming bytes into Unicode characters
   using UTF-8.
 
 - normalising, which manipulates the sequence of characters.
 
@@ skipping 128 matching lines @@
 
 
 #### **Data** state ####
 
 If the current character is...
 
 * '``<``': Consume the character and switch to the **tag open** state.
 
 * '``&``': Consume the character and switch to the **character
   reference** state, with the _return state_ set to the **data**
-  state, the _extra terminating character_ unset (or set to U+0000,
-  which has the same effect), and the _emitting operation_ being to
-  emit a character token for the given character.
+  state, and the _emitting operation_ being to emit a character token
+  for the given character.
 
 * Anything else: Emit the current input character as a character
   token. Consume the character. Stay in this state.
 
 
 #### **Script raw data** state ####
 
 If the current character is...
 
 * '``<``': Consume the character and switch to the **script raw
@@ skipping 327 matching lines @@
 
 #### **Single-quoted attribute value** state ####
 
 If the current character is...
 
 * '``'``': Consume the current character. Switch to the
   **before attribute name** state.
 
 * '``&``': Consume the character and switch to the **character
   reference** state, with the _return state_ set to the
-  **single-quoted attribute value** state, the _extra terminating
-  character_ set to '``'``', and the _emitting operation_ being to
-  append the given character to the value of the most recently added
-  attribute.
+  **single-quoted attribute value** state and the _emitting operation_
+  being to append the given character to the value of the most
+  recently added attribute.
 
 * Anything else: Append the current character to the value of the most
   recently added attribute. Consume the current character. Stay in
   this state.
 
 
 #### **Double-quoted attribute value** state ####
 
 If the current character is...
 
 * '``"``': Consume the current character. Switch to the
   **before attribute name** state.
 
 * '``&``': Consume the character and switch to the **character
   reference** state, with the _return state_ set to the
-  **double-quoted attribute value** state, the _extra terminating
-  character_ set to '``"``', and the _emitting operation_ being to
-  append the given character to the value of the most recently added
-  attribute.
+  **double-quoted attribute value** state and the _emitting operation_
+  being to append the given character to the value of the most
+  recently added attribute.
 
 * Anything else: Append the current character to the value of the most
   recently added attribute. Consume the current character. Stay in
   this state.
 
 
 #### **Unquoted attribute value** state ####
 
 If the current character is...
 
 * U+0020, U+000A: Consume the current character. Switch to the
   **before attribute name** state.
 
 * '``>``': Consume the current character. Switch to the **data**
   state. Switch to the **after tag** state.
 
 * '``&``': Consume the character and switch to the **character
   reference** state, with the _return state_ set to the **unquoted
-  attribute value** state, the _extra terminating character_ unset (or
-  set to U+0000, which has the same effect), and the _emitting
-  operation_ being to append the given character to the value of the
-  most recently added attribute.
+  attribute value** state which has the same effect), and the
+  _emitting operation_ being to append the given character to the
+  value of the most recently added attribute.
 
 * Anything else: Append the current character to the value of the most
   recently added attribute. Consume the current character. Stay in
   this state.
 
 
 #### **After tag** state ####
 
 Emit the tag token.
 
@@ skipping 76 matching lines @@
 
 Let _raw value_ be the string '``&``'.
 
 Append the current character to _raw value_.
 
 If the current character is...
 
 * '``#``': Consume the character, and switch to the **numeric
   character reference** state.
 
-* '``l``': Consume the character and switch to the **named character
-  reference L** state.
-
-* '``a``': Consume the character and switch to the **named character
-  reference A** state.
-
-* '``g``': Consume the character and switch to the **named character
-  reference G** state.
-
-* '``q``': Consume the character and switch to the **named character
-  reference Q** state.
-
-* Any other character in the range '``0``'..'``9``',
-  '``a``'..'``f``', '``A``'..'``F``': Consume the character
-  and switch to the **bad named character reference** state.
+* '``0``'..'``9``', '``a``'..'``f``', '``A``'..'``F``': switch to the
+  **named character reference** state without consuming the current
+  character.
 
 * Anything else: Run the _emitting operation_ for all but the last
   character in _raw value_, and switch to the **data state** without
   consuming the current character.
 
 
 #### **Numeric character reference** state ####
 
 Append the current character to _raw value_.
 
@@ skipping 55 matching lines @@
   character in _raw value_, and switch to the **data state** without
   consuming the current character.
 
 
 #### **Named character reference L** state ####
 
 Append the current character to _raw value_.
 
 If the current character is...
 
-* '``t``': Let _character_ be '``<``', consume the current
-  character, and switch to the **after named character reference**
-  state.
+* '``;``': Consume the character.
+  If the _raw value_ is...
 
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
+  - '``&amp;``: Emit Run the _emitting operation_ for the character
+    '``&``'.
 
+  - '``&apos;``: Emit Run the _emitting operation_ for the character
+    '``'``'.
 
-#### **Named character reference A** state ####
+  - '``&gt;``: Emit Run the _emitting operation_ for the character
+    '``>``'.
 
-Append the current character to _raw value_.
+  - '``&lt;``: Emit Run the _emitting operation_ for the character
+    '``<``'.
 
-If the current character is...
+  - '``&quot;``: Emit Run the _emitting operation_ for the character
+    '``"``'.
 
-* '``p``': Consume the current character and switch to the **named
-  character reference AP** state.
+  Then, switch to the _return state_.
 
-* '``m``': Consume the current character and switch to the **named
-  character reference AM** state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference AM** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``p``': Let _character_ be '``&``', consume the current
-  character, and switch to the **after named character reference**
-  state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference AP** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``o``': Consume the current character and switch to the **named
-  character reference APO** state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference APO** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``s``': Let _character_ be '``'``', consume the current
-  character, and switch to the **after named character reference**
-  state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference G** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``t``': Let _character_ be '``>``', consume the current
-  character, and switch to the **after named character reference**
-  state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference Q** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``u``': Consume the current character and switch to the **named
-  character reference QU** state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference QU** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``o``': Consume the current character and switch to the **named
-  character reference QUO** state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **Named character reference QUO** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``t``': Let _character_ be '``"``', consume the current
-  character, and switch to the **after named character reference**
-  state.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the character.
-
-
-#### **After named character reference** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``;``': Consume the character. Run the _emitting operation_ with
-  the character _character_. Switch to the _return state_.
-
-* The _extra terminating character_: Run the _emitting operation_ with
-  the character U+FFFD. Switch to the _return state_ without consuming
-  the current character.
-
-* Anything else: Switch to the _bad named character reference_ state
-  without consuming the current character.
-
-
-#### **Bad named character reference** state ####
-
-Append the current character to _raw value_.
-
-If the current character is...
-
-* '``;``': Consume the character. Run the _emitting operation_ with
-  the character U+FFFD. Switch to the _return state_.
-
-* The _extra terminating character_: Switch to the _return state_
-  without consuming the current character.
-
-* Any other character in the range '``0``'..'``9``',
-  '``a``'..'``f``', '``A``'..'``F``': Consume the character
-  and stay in this state.
+* '``0``'..'``9``', '``a``'..'``z``', '``A``'..'``Z``': Consume the
+  character and stay in this state.
 
 * Anything else: Run the _emitting operation_ for all but the last
   character in _raw value_, and switch to the **data state** without
   consuming the current character.
 
 
 Token cleanup stage
 -------------------
 
 Replace each sequence of character tokens with a single string token
@@ skipping 39 matching lines @@
         there isn't one, skip this token.
      2. If there's a ``template`` element in the _stack of open
         nodes_ above _node_, then skip this token.
      3. Pop nodes from the _stack of open nodes_ until _node_ has been
         popped.
      4. If _node_'s tag name is ``script``, then yield until there
         are no pending import loads, then execute the script given by
         the element's contents.
 3. Yield until there are no pending import loads.
 3. Fire a ``load`` event at the _parsing context_ object.