man pages are available now

1 files changed, 5 insertions, 2 deletions

diff --git a/pragmatics.md b/pragmatics.md
index 6e85d69..5ff1918 100644
--- a/pragmatics.md
+++ b/pragmatics.md
@@ -69,7 +69,7 @@ There is one special case where using some nonfree software, and even urging oth
 - Developing a free program that requires nonfree environments to bootstrap;
 - To spread awareness of software freedom issues to users in nonfree environments.
 
-As almost all types of programming can be done on most types of BSD and GNU operating systems, the author hasn't found any software that fit this category.  Extending the interpretation allos for using nonfree software's behavior as a reference in free software development, though an arguable programming practice, may help the community to progress by understanding common features that users of nonfree services use.
+As almost all types of programming can be done on most types of BSD and GNU operating systems, the author hasn't found any software that fit this category.  Extending the interpretation allos for using nonfree software's behavior as a reference in Free Software development, though an arguable programming practice, may help the community to progress by understanding common features that users of nonfree services use.
 
 The latter is more interesting, as explained above our methods of spreading awareness is limited.
 
@@ -79,9 +79,11 @@ Activists **MUST NOT** list such nonfree services in "Contact Information" pages
 
 Communities for introducing users to Free Software on nonfree platforms **MUST** be bridged to a free protocol in some obvious way, in order to minimize the usage of nonfree platforms even for the purpose of communicating ideology to new users and allow members of the Free Software community refusing to use nonfree platforms in any way to participate.  Usages of nonfree platforms, besides part of the user-introduction process that must happen on the nonfree platform, **SHOULD** be avoided.
 
+For example, the author created a Discord Guild called Free Software Introductions, which is one-way-puppeted to #fsi on irc.andrewyu.org, which is then one-way-puppeted to Libera.  The relay system is sort-of messed up, but it's working.  Inviting new users to it via https://discord.gg/7CYp7ntww7 is good, but as the author has made his own sacrifice already, there exists no need for other existing Free Software activists to join and use it instead of IRC.
+
 # Technical Limitations
+The old and centralized nature of IRC, the insane 3PID recommendation of Matrix, the bad routing and efficency of XMPP, and the lack of documentation on PSYC, has led us to develop a new protocol, Internet Delay Chat, which aims to be free, modern (i.e. support for channel groups and shared permission sets, non-text data with MIME types), sane (i.e. TCP, UDP and SCTP-based, instead of HTTP POST APIs) and simple.
 
-git://git.andrewyu.org/internet-delay-chat
 
 # Conclusion
 
@@ -122,3 +124,4 @@ Many thanks to everyone in the Free Software community for the freedom we have t
    </front>
 </reference>
 
+git://git.andrewyu.org/internet-delay-chat