diff --git a/index b/index
index 8dd7d178661..43a02568c36 100644
--- a/index
+++ b/index
@@ -27436,6 +27436,23 @@ function AddCloud(data, x, y) { ... }</pre>
   <p>Each <code><a href="#input0">input</a></code> element has a <a
    href="#value10" title=concept-fe-value>value</a>.
 
+  <p>Each <code><a href="#input0">input</a></code> element has a boolean <dfn
+   id=mutability title=concept-input-mutability>mutability flag</dfn>. When
+   it is true, the element is said to be <dfn id=mutable
+   title=concept-input-mutable><i>mutable</i></dfn>, and when it is false the
+   element is <dfn id=immutable
+   title=concept-input-immutable><i>immutable</i></dfn>. Unless otherwise
+   specified, an <code><a href="#input0">input</a></code> element is always
+   <i title=concept-input-mutable><a href="#mutable">mutable</a></i>.
+
+  <p>When an <code><a href="#input0">input</a></code> element is <a
+   href="#disabled4" title=concept-fe-disabled>disabled</a>, it is <i
+   title=concept-input-immutable><a href="#immutable">immutable</a></i>.
+
+  <p class=note>The <code title=attr-input-readonly>readonly</code> attribute
+   can also make an <code><a href="#input0">input</a></code> element <i
+   title=concept-input-immutable><a href="#immutable">immutable</a></i>.
+
   <p>Each <code><a href="#input0">input</a></code> element has a boolean <dfn
    id=dirty>dirty flag</dfn>, which must be initially set to false when the
    element is created, and which must be set to true whenever the user
@@ -27520,13 +27537,14 @@ function AddCloud(data, x, y) { ... }</pre>
 
   <p>When an <code><a href="#input0">input</a></code> element's <code
    title=attr-input-type><a href="#type12">type</a></code> attribute is in
-   the <a href="#text2" title=attr-input-type-text>Text</a> state, it
-   represents a text edit control for a single line of plain text.
+   the <a href="#text2" title=attr-input-type-text>Text</a> state, the
+   element represents a text edit control for a single line of plain text.
 
   <p><strong>The <a href="#text2" title=attr-input-type-text>Text</a> state's
    <a href="#control0">control initialization</a> algorithm is as
    follows:</strong> Run the <a href="#line-feed">line feed stripper</a>
-   algorithm.
+   algorithm.</p>
+  <!-- XXX autocomplete? -->
 
   <p><strong>The <a href="#text2" title=attr-input-type-text>Text</a> state's
    <a href="#default2">default value change</a> algorithm is as
@@ -27541,14 +27559,14 @@ function AddCloud(data, x, y) { ... }</pre>
    removing any U+000A LINE FEED (LF) characters from <a href="#value10"
    title=concept-fe-value>value</a>.
 
-  <p>User agents must not allow users to insert U+000A LINE FEED (LF)
-   characters into the <a href="#value10" title=concept-fe-value>value</a> of
-   an <code><a href="#input0">input</a></code> element whose <code
+  <p>If an <code><a href="#input0">input</a></code> element whose <code
    title=attr-input-type><a href="#type12">type</a></code> attribute is in
-   the <a href="#text2" title=attr-input-type-text>Text</a> state.</p>
-  <!-- XXX allow users to edit, when not disabled or readonly -->
-
-  <p class=big-issue>...
+   the <a href="#text2" title=attr-input-type-text>Text</a> state is <i
+   title=concept-input-mutable><a href="#mutable">mutable</a></i>, its <a
+   href="#value10" title=concept-fe-value>value</a> should be editable by the
+   user. User agents must not allow users to insert U+000A LINE FEED (LF)
+   characters into the <a href="#value10" title=concept-fe-value>value</a> of
+   such <code><a href="#input0">input</a></code> elements.
 
   <p>When an <code><a href="#input0">input</a></code> element's <code
    title=attr-input-type><a href="#type12">type</a></code> attribute is in
@@ -27562,16 +27580,15 @@ function AddCloud(data, x, y) { ... }</pre>
    title=attr-input-maxlength>maxlength</code>, <code
    title=attr-input-pattern>pattern</code>, <code
    title=attr-input-readonly>readonly</code>, <code
-   title=attr-input-required>required</code>, <code
-   title=attr-input-size>size</code>, and <code title=attr-input-value><a
-   href="#value7">value</a></code>.
+   title=attr-input-required>required</code>, and <code
+   title=attr-input-size>size</code>.
 
   <p>When an <code><a href="#input0">input</a></code> element's <code
    title=attr-input-type><a href="#type12">type</a></code> attribute is in
    the <a href="#text2" title=attr-input-type-text>Text</a> state, the
-   following attributes must not be specified: <code class=no-backref
-   title=attr-input-accept>accept</code>, <code class=no-backref
-   title=attr-input-alt>alt</code>, <code class=no-backref
+   following attributes must not be specified and do not apply: <code
+   class=no-backref title=attr-input-accept>accept</code>, <code
+   class=no-backref title=attr-input-alt>alt</code>, <code class=no-backref
    title=attr-input-checked>checked</code>, <code class=no-backref
    title=attr-input-max>max</code>, <code class=no-backref
    title=attr-input-min>min</code>, <code class=no-backref
diff --git a/source b/source
index 81d98633553..f4addfff216 100644
--- a/source
+++ b/source
@@ -24498,6 +24498,24 @@ function AddCloud(data, x, y) { ... }</pre>
   <p>Each <code>input</code> element has a <span
   title="concept-fe-value">value</span>.</p>
 
+  <p>Each <code>input</code> element has a boolean <dfn
+  title="concept-input-mutability">mutability flag</dfn>. When it is
+  true, the element is said to be <dfn
+  title="concept-input-mutable"><i>mutable</i></dfn>, and when it is
+  false the element is <dfn
+  title="concept-input-immutable"><i>immutable</i></dfn>. Unless
+  otherwise specified, an <code>input</code> element is always <i
+  title="concept-input-mutable">mutable</i>.</p>
+
+  <p>When an <code>input</code> element is <span
+  title="concept-fe-disabled">disabled</span>, it is <i
+  title="concept-input-immutable">immutable</i>.</p>
+
+  <p class="note">The <code
+  title="attr-input-readonly">readonly</code> attribute can also make
+  an <code>input</code> element <i
+  title="concept-input-immutable">immutable</i>.</p>
+
   <p>Each <code>input</code> element has a boolean <dfn>dirty
   flag</dfn>, which must be initially set to false when the element is
   created, and which must be set to true whenever the user interacts
@@ -24573,14 +24591,16 @@ function AddCloud(data, x, y) { ... }</pre>
 
   <p>When an <code>input</code> element's <code
   title="attr-input-type">type</code> attribute is in the <span
-  title="attr-input-type-text">Text</span> state, it represents a text
-  edit control for a single line of plain text.</p>
+  title="attr-input-type-text">Text</span> state, the element
+  represents a text edit control for a single line of plain text.</p>
 
   <p><strong>The <span title="attr-input-type-text">Text</span>
   state's <span>control initialization</span> algorithm is as
   follows:</strong> Run the <span>line feed stripper</span>
   algorithm.</p>
 
+  <!-- XXX autocomplete? -->
+
   <p><strong>The <span title="attr-input-type-text">Text</span>
   state's <span>default value change</span> algorithm is as
   follows:</strong> If the <code>input</code> element is not
@@ -24593,15 +24613,14 @@ function AddCloud(data, x, y) { ... }</pre>
   any U+000A LINE FEED (LF) characters from <span
   title="concept-fe-value">value</span>.</p>
 
-  <p>User agents must not allow users to insert U+000A LINE FEED (LF)
-  characters into the <span title="concept-fe-value">value</span> of
-  an <code>input</code> element whose <code
+  <p>If an <code>input</code> element whose <code
   title="attr-input-type">type</code> attribute is in the <span
-  title="attr-input-type-text">Text</span> state.</p>
-
-  <!-- XXX allow users to edit, when not disabled or readonly -->
-
-  <p class="big-issue">...</p>
+  title="attr-input-type-text">Text</span> state is <i
+  title="concept-input-mutable">mutable</i>, its <span
+  title="concept-fe-value">value</span> should be editable by the
+  user. User agents must not allow users to insert U+000A LINE FEED
+  (LF) characters into the <span title="concept-fe-value">value</span>
+  of such <code>input</code> elements.</p>
 
   <p>When an <code>input</code> element's <code
   title="attr-input-type">type</code> attribute is in the <span
@@ -24614,14 +24633,13 @@ function AddCloud(data, x, y) { ... }</pre>
   <code title="attr-input-maxlength">maxlength</code>,
   <code title="attr-input-pattern">pattern</code>,
   <code title="attr-input-readonly">readonly</code>,
-  <code title="attr-input-required">required</code>,
-  <code title="attr-input-size">size</code>, and
-  <code title="attr-input-value">value</code>.</p>
+  <code title="attr-input-required">required</code>, and
+  <code title="attr-input-size">size</code>.</p>
 
   <p>When an <code>input</code> element's <code
   title="attr-input-type">type</code> attribute is in the <span
   title="attr-input-type-text">Text</span> state, the following
-  attributes must not be specified:
+  attributes must not be specified and do not apply:
   <code class="no-backref" title="attr-input-accept">accept</code>,
   <code class="no-backref" title="attr-input-alt">alt</code>,
   <code class="no-backref" title="attr-input-checked">checked</code>,