diff --git a/html/mu_instructions.html b/html/mu_instructions.html
index a6b0f37c..0c66bc97 100644
--- a/html/mu_instructions.html
+++ b/html/mu_instructions.html
@@ -25,7 +25,7 @@ body { font-family: monospace; color: #000000; background-color: #c6c6c6; }
 <pre id='vimCodeElement'>
 <span class="SalientComment">## Mu's instructions and their table-driven translation</span>
 
-See <a href="http://akkartik.name/akkartik-convivial-20200315.pdf">http://akkartik.name/akkartik-convivial-20200315.pdf</a> for the complete
+See <a href="http://akkartik.name/akkartik-convivial-20200607.pdf">http://akkartik.name/akkartik-convivial-20200607.pdf</a> for the complete
 story. In brief: Mu is a statement-oriented language. Blocks consist of flat
 lists of instructions. Instructions can have inputs after the operation, and
 outputs to the left of a '<span class="SpecialChar">&lt;-</span>'. Inputs and outputs must be variables. They can't
diff --git a/mu_instructions b/mu_instructions
index 3f9810a6..a5f7d7cb 100644
--- a/mu_instructions
+++ b/mu_instructions
@@ -1,6 +1,6 @@
 ## Mu's instructions and their table-driven translation
 
-See http://akkartik.name/akkartik-convivial-20200315.pdf for the complete
+See http://akkartik.name/akkartik-convivial-20200607.pdf for the complete
 story. In brief: Mu is a statement-oriented language. Blocks consist of flat
 lists of instructions. Instructions can have inputs after the operation, and
 outputs to the left of a '<-'. Inputs and outputs must be variables. They can't