diff --git a/agora-plan.md b/agora-plan.md
index 2f2c5cdd6..fb4292318 100644
--- a/agora-plan.md
+++ b/agora-plan.md
@@ -20,7 +20,7 @@ This page is about both, although it's probably going to be [[Agora Server]] hea
 - On [[2020-12-27]] I released [[agora 0.5.6]] with [[pull]] support, better db code, caching... quite a bit :)
 - On [[2020-12-20]] I worked [[agora 0.5.5]], which adds simple [[hypothes.is]] integration.
   - Fixed the fact that [[back]] [[links]] didn't work in non-existent nodes (even when there are backlinks, that is).
-  - Prepared CSS/html for [[pull]], [[push]], [[forward]] links.
+  - Prepared CSS/html for pull, push, forward links.
 - On [[2020-12-04]] I released [[agora 0.5.4]], with some improvements:
   - New data model (digital gardens are not subtree'd in the main [[agora repository]] anymore, stay wholly independent)
   - Index page is now just another node, subnodes can be contributed by users.
@@ -68,7 +68,7 @@ This page is about both, although it's probably going to be [[Agora Server]] hea
   - [ ] this might be enough to unlock basic [[logseq]] support?
 - [ ] I should make node [[0.5.6]] work
 - [ ] graph the whole Agora -- sounds fun!
-- [ ] Implement [[pull]] and [[push]].
+- [ ] Implement pull and push.
   - [x] Define divs for 'pulled' and 'pushed' sections
   - Write functions that return [[pull]] and [[push]] entities in each subnode
 - [ ] Make more links default to node instead of subnode.
@@ -150,7 +150,6 @@ This page is about both, although it's probably going to be [[Agora Server]] hea
 
 [//begin]: # "Autogenerated link references for markdown compatibility"
 [agora]: agora "Agora"
-[Agora]: agora "Agora"
 [Agora Server]: agora-server "Agora Server"
 [jump]: jump "Jump"
 [toolbar]: toolbar "Toolbar"
@@ -160,7 +159,6 @@ This page is about both, although it's probably going to be [[Agora Server]] hea
 [2020-12-20]: journal/2020-12-20 "2020-12-20"
 [hypothes.is]: hypothesis "Hypothesis"
 [links]: links "Links"
-[push]: push "Push"
 [2020-12-04]: journal/2020-12-04 "2020-12-04"
 [2020-11-29]: journal/2020-11-29 "2020-11-29"
 [2020-11-27]: journal/2020-11-27 "2020-11-27"
@@ -191,6 +189,7 @@ This page is about both, although it's probably going to be [[Agora Server]] hea
 [agora vscode]: agora-vscode "Agora Vscode"
 [wikilinks everywhere]: wikilinks-everywhere "Wikilinks Everywhere"
 [logseq]: logseq "Logseq"
+[push]: push "Push"
 [do]: do "Do"
 [flancian]: flancian "Flancian"
 [s5bug]: s5bug "S5bug"