Clarify that ASN.1 structures should be DER-encoded

Author: twiss

spec/Overview.html

@@ -4477,7 +4477,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -4543,7 +4543,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -5500,7 +5500,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -5566,7 +5566,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -6526,7 +6526,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -6592,7 +6592,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -8149,7 +8149,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -8304,7 +8304,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -10774,7 +10774,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -10827,7 +10827,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -11614,7 +11614,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>
@@ -11667,7 +11667,7 @@ <h4>Operations</h4>
                         </li>
                         <li>
                           <p>
-                            Let |result| be set to |data|.
+                            Let |result| be the result of DER-encoding |data|.
                           </p>
                         </li>
                       </ol>