typo

5 files changed, 9 insertions, 8 deletions

diff --git a/Makefile b/Makefile
index 3219102..5fa652a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,11 @@
+update: pragmatics.txt
+	git add .
+	git commit
+	git push
+
 pragmatics.txt: pragmatics.xml
 	xml2rfc --text --html pragmatics.xml
 
 pragmatics.xml: pragmatics.md
 	mmark pragmatics.md > pragmatics.xml
 
-update:
-	git add .
-	git commit
-	git push
diff --git a/pragmatics.html b/pragmatics.html
index 321a8b7..92492d8 100644
--- a/pragmatics.html
+++ b/pragmatics.html
@@ -1269,7 +1269,7 @@ li > p:last-of-type {
 <p id="section-1-5">There are numerous free replacements to proprietary services such as Discord, such as Internet Relay Chat, the Extensible Messaging and Presense Protocol, the Matrix protocol, and email.  As Free Software activists, we generally prefer these protocols over nonfree services.  This section explains the reasons to consider nonfree services and protocols.<a href="#section-1-5" class="pilcrow">¶</a></p>
 <p id="section-1-6">Generally, users on IRC and XMPP have a fair understanding of the Free Software Movement, and it is quick and easy to inform them what we mean by "free", "the four freedoms", and similar ideas.  For users on the Libera Chat IRC network, which by far has the most users of any network, it is exceptionally easy to introduce a user into the #fsf channel for discussions with people supporting Free Software.  Introducing ignorant users on these protocols and platforms are a day-to-day simple task.<a href="#section-1-6" class="pilcrow">¶</a></p>
 <p id="section-1-7">Furthermore, the amount of users we can reach on these protocols are rather limiting.  Libera has around forty thousand users according to the <code>USERS</code> command, and considering the fact that around 90% of these people aren't ignorant, there isn't much we can do.<a href="#section-1-7" class="pilcrow">¶</a></p>
-<p id="section-1-8">Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish isea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.<a href="#section-1-8" class="pilcrow">¶</a></p>
+<p id="section-1-8">Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish idea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.<a href="#section-1-8" class="pilcrow">¶</a></p>
 </section>
 </div>
 <div id="the-plan">
diff --git a/pragmatics.md b/pragmatics.md
index c9b9ad7..e9c115d 100644
--- a/pragmatics.md
+++ b/pragmatics.md
@@ -52,7 +52,7 @@ Generally, users on IRC and XMPP have a fair understanding of the Free Software
 
 Furthermore, the amount of users we can reach on these protocols are rather limiting.  Libera has around forty thousand users according to the `USERS` command, and considering the fact that around 90% of these people aren't ignorant, there isn't much we can do.
 
-Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish isea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.
+Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish idea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.
 
 # The Plan
 
diff --git a/pragmatics.txt b/pragmatics.txt
index 00ee04c..1a6cca0 100644
--- a/pragmatics.txt
+++ b/pragmatics.txt
@@ -99,7 +99,7 @@ Yu                            Informational                     [Page 1]
    specifies that third-party platform identities, such as email and
    GitHub, are how users should be referenced both internally by servers
    and shown to other users.  This is obviously an increadibly foolish
-   isea, especially considering the use of centralized identity servers
+   idea, especially considering the use of centralized identity servers
    (similar to X509 certificate authorities) for 3PIDs.  These are our
    first targets, but these should also be easy to get the idea across.
 
diff --git a/pragmatics.xml b/pragmatics.xml
index effda7a..d10da9e 100644
--- a/pragmatics.xml
+++ b/pragmatics.xml
@@ -33,7 +33,7 @@
 <t>There are numerous free replacements to proprietary services such as Discord, such as Internet Relay Chat, the Extensible Messaging and Presense Protocol, the Matrix protocol, and email.  As Free Software activists, we generally prefer these protocols over nonfree services.  This section explains the reasons to consider nonfree services and protocols.</t>
 <t>Generally, users on IRC and XMPP have a fair understanding of the Free Software Movement, and it is quick and easy to inform them what we mean by &quot;free&quot;, &quot;the four freedoms&quot;, and similar ideas.  For users on the Libera Chat IRC network, which by far has the most users of any network, it is exceptionally easy to introduce a user into the #fsf channel for discussions with people supporting Free Software.  Introducing ignorant users on these protocols and platforms are a day-to-day simple task.</t>
 <t>Furthermore, the amount of users we can reach on these protocols are rather limiting.  Libera has around forty thousand users according to the <tt>USERS</tt> command, and considering the fact that around 90% of these people aren't ignorant, there isn't much we can do.</t>
-<t>Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish isea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.</t>
+<t>Matrix users, in particular users of the matrix.org homeserver, typically know but don't completely understand Free Software.  Rather than using Matrix IDs to identify users, the Matrix specification specifies that third-party platform identities, such as email and GitHub, are how users should be referenced both internally by servers and shown to other users.  This is obviously an increadibly foolish idea, especially considering the use of centralized identity servers (similar to X509 certificate authorities) for 3PIDs.  These are our first targets, but these should also be easy to get the idea across.</t>
 </section>
 
 <section anchor="the-plan"><name>The Plan</name>