From 554e3d42ad803e699cc934071967a97feeaadcde Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sun, 3 Jan 2021 02:29:22 +0100
Subject: [PATCH] Auto: misc.

---
 agora-search.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/agora-search.md b/agora-search.md
index 0c257e2ee..c98be776e 100644
--- a/agora-search.md
+++ b/agora-search.md
@@ -6,10 +6,12 @@
   - Perhaps [[agora search]] tries to find a good match for your query locally and redirects to other agoras in the network or to duckduckgo/google if a good result isn't available. - If it volunteers something, it also offers to continue your query in the search authority of your choice.
   - [[push]] and [[pull]] could be used to offer hints for how to route queries to relevant results.
 - ***Agora Search is [[crowdsourced search]] for the [[open]] [[internet]]***.
+- [[pull]] [[crowdsourced search]]
 
 
 [//begin]: # "Autogenerated link references for markdown compatibility"
 [search]: search "Search"
+[Agora]: agora "Agora"
 [agora]: agora "Agora"
 [distributed]: distributed "Distributed"
 [wiki]: wiki "Wiki"
@@ -17,4 +19,5 @@
 [push]: push "Push"
 [pull]: pull "Pull"
 [crowdsourced search]: crowdsourced-search "Crowdsourced Search"
+[open]: open "Open"
 [//end]: # "Autogenerated link references"
\ No newline at end of file