From bc99e7b542d5631f34a9f442490202de7240a339 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Tue, 29 Dec 2020 20:14:11 +0100
Subject: [PATCH] Auto: misc.

---
 agora.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agora.md b/agora.md
index 719b45c5b..a7655d6ab 100644
--- a/agora.md
+++ b/agora.md
@@ -7,7 +7,7 @@
   - Through projects such as [[agora twitter integration]], we hope to make the Agora available to anyone that has access to a social network account.
 - An Agora is, in its most basic form, a set of useful conventions.
   - Useful conventions are made explicit through an Agora's [[CONTRACT]] and the writing of its users.
-  - The Agora is built around the notion of the [[wikilink]]: see [[wikilinks fanout]] and [[wikilinks everywhere]]. You can think of the Agora as a distributed [[wiki]] or [[semantic web]] if you are so inclined.
+  - The Agora is built around the notion of the [[wikilink]]: see [[wikilinks fanout]] and [[wikilinks everywhere]]. You can think of the Agora as a distributed [[wiki]] or an experiment in [[semantic web]] [[applications]] if you are so inclined.
   - An Agora, in some sense is a [[distributed knowledge graph]] maintained by its users through an experimental [[social network]].
     - Check out [[agora plan]] if you are interested in more nerdy stuff.
     - By [[you]] and [[me]].