Clarify that ASN.1 structures should be DER-encoded

Author: twiss

spec/Overview.html

@@ -4475,7 +4475,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>
@@ -4541,7 +4541,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>
@@ -5498,7 +5498,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>
@@ -5564,7 +5564,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>
@@ -6524,7 +6524,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>
@@ -6590,7 +6590,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>
@@ -8147,7 +8147,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>
@@ -8302,7 +8302,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>
@@ -10772,7 +10772,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>
@@ -10825,7 +10825,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>
@@ -11612,7 +11612,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>
@@ -11665,7 +11665,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>