Update release plan.

misc/plan.html

@@ -14,7 +14,7 @@
   <h1> Nettle release plans </h1>
   <p> This is an attempt at defining a development target for
     Nettle-3.3, inspired by similar pages for recent GMP releases.
-    [Last updated 2016-05-04]</p>
+    [Last updated 2016-09-13]</p>
   <p class='should'>
     This really ought to be done before release
   </p>
@@ -66,7 +66,7 @@
   </p>
 
   <h2> Documentation </h2>
-  <p class='should'>
+  <p class='done'>
     Document memeql_sec.
   </p>
   
@@ -79,11 +79,11 @@
   <p> Since xenofarm isn't up and running, do some manual testing:
   </p>
   <ul>
-    <li class='should'> x86_64-linux-gnu</li>
-    <li class='should'> x86-linux-gnu</li>
-    <li class='should'> x86_64-freebsd</li>
-    <li class='should'> x86-w*ndows (using cross compiler and wine)</li>
-    <li class='should'> x86_64-w*ndows (using cross compiler and wine)</li>
+    <li class='done'> x86_64-linux-gnu</li>
+    <li class='done'> x86-linux-gnu</li>
+    <li class='done'> x86_64-freebsd</li>
+    <li class='done'> x86-w*ndows (using cross compiler and wine)</li>
+    <li class='done'> x86_64-w*ndows (using cross compiler and wine)</li>
     <li class='should'> x86-darwin (needs help from Nettle users)</li>
     <li class='should'> x86_64-darwin (needs help from Nettle users)</li>
     <li class='should'> armv5-linux-gnu (qemu)</li>