diff --git a/misc/plan.html b/misc/plan.html
index 8f3cc186a62710122b17a9a330db53e13188a338..8ed46d1f02d54c6a64bd155439557696debb7f4c 100644
--- a/misc/plan.html
+++ b/misc/plan.html
@@ -14,7 +14,7 @@
   <h1> Nettle release plans </h1>
   <p> This is an attempt at defining a development target for the next
     release of Nettle, inspired by similar pages for recent GMP
-    releases. [Last updated 2017-11-05]</p>
+    releases. [Last updated 2017-11-14]</p>
   <p class='should'>
     This really ought to be done before release
   </p>
@@ -95,21 +95,28 @@
   <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='done'> x86_64-w*ndows, native</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>
-    <li class='should'> armv7-linux-gnu (qemu)</li>
-    <li class='should'> armv8-linux-gnu (qemu)</li>
-    <li class='should'> ppc64-linux-gnu (qemu)</li>
-    <li class='should'> ppc32-linux-gnu (qemu)</li>
-    <li class='should'> mips64-linux-gnu (qemu)</li>
-    <li class='should'> mips32-linux-gnu (qemu)</li>
-    <li class='should'> m68k-linux-gnu (aranym)</li>
+    <li class='wish'> armv5-linux-gnu (qemu)</li>
+    <li class='done'> armv7el-linux-gnu (qemu)</li>
+    <li class='done'> armv7hf-linux-gnu (qemu)</li>
+    <li class='done'> armv8-linux-gnu (qemu)</li>
+    <li class='done'> ppc32-linux-gnu (qemu)</li>
+    <li class='done'> ppc64el-linux-gnu (qemu)</li>
+    <li class='done'> ppc64eb-linux-gnu (qemu)</li>
+    <li class='wish'> mips32-linux-gnu (qemu)</li>
+    <li class='done'> mips64eb-linux-gnu (qemu)</li>
+    <li class='done'> mips64el-linux-gnu (qemu)</li>
+    <li class='done'> s390x-linux-gnu (qemu)</li>
+    <li class='done'> m68k-linux-gnu (aranym)</li>
+    <li class='done'> alpha-linux-gnu (qemu)</li>
+    <li class='done'> hppa-linux-gnu (qemu)</li>
     <li class='wish'> armv7-android </li>
   </ul>