Typofix.

4 files changed, 16 insertions, 16 deletions

diff --git a/html/forgefed-vocabulary.html b/html/forgefed-vocabulary.html
index 804bb0d..c87f278 100644
--- a/html/forgefed-vocabulary.html
+++ b/html/forgefed-vocabulary.html
@@ -28,9 +28,9 @@
     </header>
     <main class="main">
               <h1 class="main-title">
-            ForgeFed Vocabulary - draft - 2019-10-03 master
-            <a href="https://notabug.org/peers/forgefed/commit/fc694fae899e3c695170e55d587939e1e7f3ac81">
-                fc694fa
+            ForgeFed Vocabulary - draft - 2019-10-04 master
+            <a href="https://notabug.org/peers/forgefed/commit/2575ee98aa692c4de281761e0749c2a163f136df">
+                2575ee9
             </a>
                     </h1>
       
diff --git a/html/forgefed.html b/html/forgefed.html
index 6303680..625e755 100644
--- a/html/forgefed.html
+++ b/html/forgefed.html
@@ -28,9 +28,9 @@
     </header>
     <main class="main">
               <h1 class="main-title">
-            ForgeFed - draft - 2019-10-03 master
-            <a href="https://notabug.org/peers/forgefed/commit/fc694fae899e3c695170e55d587939e1e7f3ac81">
-                fc694fa
+            ForgeFed - draft - 2019-10-04 master
+            <a href="https://notabug.org/peers/forgefed/commit/2575ee98aa692c4de281761e0749c2a163f136df">
+                2575ee9
             </a>
                     </h1>
       
diff --git a/html/index.html b/html/index.html
index e1e438f..d0c0a29 100644
--- a/html/index.html
+++ b/html/index.html
@@ -33,25 +33,25 @@
       <p>ForgeFed is a federation protocol for enabling interoperability between version control services. It's built as an extension to the <a href="https://www.w3.org/TR/activitypub/">ActivityPub</a> protocol, allowing users of any ForgeFed-compliant service to interact with the repositories hosted on other instances.</p>
       <p>The goal of the project is to support all of the major activities connected to project management, including bug reports, merge requests, and notifications across instances.</p>
       <p>This website serves as the official place where to find up to date information and links about the project.</p>
-      <h1 id="why-forgefed"><span class="header-section-number">1</span> Why ForgeFed?</h1>
+      <h1 id="why-forgefed">Why ForgeFed?</h1>
       <p>The current state of code collaboration is dominated by centralized, proprietary platforms. Free alternatives to these platforms exist (for example <a href="https://notabug.org">NotABug</a> and <a href="https://pagure.io">Pagure</a>) but they do not solve the problem of centralization.</p>
       <p>This project tries to address exactly this problem. Our wish is to devise a free and standardized mechanism for enabling collaboration across any version control platform.</p>
-      <h1 id="project-status"><span class="header-section-number">2</span> Project status</h1>
-      <p>The specification and software produced but this working group is still in the early stages, and there is still much work to do and ample design-space for discussion and contributions.</p>
+      <h1 id="project-status">Project status</h1>
+      <p>The specification and software produced by this working group is still in the early stages, and there is still much work to do and ample design-space for discussion and contributions.</p>
       <p>So far the protocol supports:</p>
       <ul>
       <li>repository following</li>
       <li>repository push notifications to followers</li>
       <li>new issue creation</li>
       </ul>
-      <h1 id="work-group"><span class="header-section-number">3</span> Work group</h1>
-      <p>Community and development discussions are conducted on the <a href="https://talk.feneas.org/c/forgefed">ForgeFed Forum</a>, with informal, real-time collaboration often taking place on the #peers IRC channel on freenode. In order to be most widely adopted, we strive to assemble the most diverse and representative group including: users, implementers, and various domain experts. Anyone who is experienced with working on an existing forges or federated &quot;social&quot; services, and anyone with experience in writing technical specification documents is encouraged to join the work-group and/or contribute artifacts.</p>
-      <h1 id="implementations"><span class="header-section-number">4</span> Implementations</h1>
+      <h1 id="work-group">Work group</h1>
+      <p>Community and development discussions are conducted on the <a href="https://talk.feneas.org/c/forgefed">ForgeFed Forum</a>, with informal, real-time collaboration often taking place on the #peers IRC channel on freenode. In order to be most widely adopted, we strive to assemble the most diverse and representative group including: users, implementers, and various domain experts. Anyone who is experienced with working on existing forges or federated &quot;social&quot; services, and anyone with experience in writing technical specification documents is encouraged to join the working group.</p>
+      <h1 id="implementations">Implementations</h1>
       <ul>
       <li><em><a href="https://dev.angeley.es/s/fr33domlover/r/vervis">Vervis</a></em> is the reference implementation of ForgeFed. It serves as a demo platform for testing the protocol and trying new features</li>
       <li><em><a href="https://notabug.org/zPlus/mcfi">mcfi</a></em> is another command line implementation for testing the protocol</li>
       </ul>
-      <h1 id="project-links"><span class="header-section-number">5</span> Project links</h1>
+      <h1 id="project-links">Project links</h1>
       <ul>
       <li><a href="https://notabug.org/peers/forgefed/issues">Issues tracker</a></li>
       <li><a href="https://notabug.org/peers/forgefed/wiki">Wiki</a></li>
diff --git a/html/index.md b/html/index.md
index 5cc9a31..e5ff33a 100644
--- a/html/index.md
+++ b/html/index.md
@@ -24,7 +24,7 @@ platform.
 
 # Project status
 
-The specification and software produced but this working group is still in the
+The specification and software produced by this working group is still in the
 early stages, and there is still much work to do and ample design-space for
 discussion and contributions.
 
@@ -42,9 +42,9 @@ informal, real-time collaboration often taking place on the #peers IRC channel o
 freenode.
 In order to be most widely adopted, we strive to assemble the most diverse and
 representative group including: users, implementers, and various domain experts.
-Anyone who is experienced with working on an existing forges or federated "social"
+Anyone who is experienced with working on existing forges or federated "social"
 services, and anyone with experience in writing technical specification documents
-is encouraged to join the work-group and/or contribute artifacts.
+is encouraged to join the working group.
 
 
 # Implementations