Deployed 4ee89da to dev with MkDocs 1.5.3 and mike 2.1.3

Author: ArduinoBot

dev/CONTRIBUTING/index.html

@@ -948,7 +948,7 @@ <h3 id="development-prerequisites">Development prerequisites<a class="headerlink
 </li>
 </ul>
 <h3 id="building-the-source-code">Building the source code<a class="headerlink" href="#building-the-source-code" title="Permanent link">&para;</a></h3>
-<p>From the project folder root, just run: F</p>
+<p>From the project folder root, just run:</p>
 <div class="highlight"><pre><span></span><code>task<span class="w"> </span>build
 </code></pre></div>
 <p>The project uses Go modules, so dependencies will be downloaded automatically. At the end of the build, you should find
@@ -1022,8 +1022,8 @@ <h4 id="local-development">Local development<a class="headerlink" href="#local-d
 command:</p>
 <div class="highlight"><pre><span></span><code>task website:serve
 </code></pre></div>
-<p>The documentation will build. If you don't see any error, open <code>http://127.0.0.1:8000</code> in your browser to local the
-local copy of the documentation.</p>
+<p>The documentation will build. If you don't see any error, open <code>http://127.0.0.1:8000</code> in your browser to view the local
+copy of the documentation.</p>
 <h4 id="documentation-publishing">Documentation publishing<a class="headerlink" href="#documentation-publishing" title="Permanent link">&para;</a></h4>
 <p>The Arduino Lint git repository has a special branch called <code>gh-pages</code> that contains the generated HTML code for the
 documentation website. Every time a change is pushed to this special branch, GitHub automatically triggers a deployment