Update file format documentation

Updated Docs/Design/FileFormats/saved.html re the addition of plain
text, HTML 5, XHTML and Markdown support when saving snippet
information, along with support for different file encodings.

Author: delphidabbler

Docs/Design/FileFormats/saved.html

@@ -62,9 +62,27 @@ <h2>
 </ol>
 
 <p>
-  In the first case the snippet is always saved in rich text format.
+  In the first case the snippet information can be saved as one of the following file types:
 </p>
 
+<ul>
+  <li>
+    Plain text.
+  </li>
+  <li>
+    HTML 5 files.
+  </li>
+  <li>
+    XHTML files.
+  </li>
+  <li>
+    Rich text files.
+  </li>
+  <li>
+    Markdown files.
+  </li>
+</ul>
+
 <p>
   In the second two cases the following file types can be chosen by the user:
 </p>
@@ -88,7 +106,7 @@ <h2>
 </ul>
 
 <p>
-  There is no specific file format for these files, except that HTML 5, XHTML and RTF
+  There is no specific file format for these files, except that HTML 5, XHTML, RTF and Markdown
   files conform to published specifications.
 </p>
 
@@ -97,11 +115,7 @@ <h2>
 </h2>
 
 <p>
-  In the first case the RTF is always saved in ASCII format.
-</p>
-
-<p>
-  In the 2nd and 3rd cases the encodings used depend on the file type and user choice. Different file
+  The available encodings used depend on the file type and user choice. Different file
   types have different encoding choices, as follows:
 </p>
 
@@ -164,7 +178,7 @@ <h2>
   <dd>
     <ul class="squashed">
       <li>
-        ANSI (system default code page). ASCII format is actually used.
+        ASCII [for Snippet Information] or ANSI [otherwise]. Regardless of naming, ASCII format is always used.
       </li>
     </ul>
   </dd>