Update FAQ and fix guidelines

The FAQ has a new item that is referred to in the guidelines updates.

The guidelines has some link fixes and other minor changes.

Some fun was corrected in the guidelines as well but kept a fair bit
shorter than before (i.e. shorter than IOCCC28). In particular because
some code from the mkiocccentry (from some contributors) is no longer
extant, and because said code was not even a complete program, only
refer to two programs that were strictly written by someone other than
the judges.  Those paragraphs are only one sentence (they used to be
more than one) and the rest of the mkiocccentry repos is not mentioned
(this was the longest one and it went into other things that while fun
were not relevant). This keeps it light, fun, very short and more
importantly correct both to the rule about submissions must be a
COMPLETE C program and other rules as well.

Some typo fixes were made.

I believe this commit resolves the problems from yesterday although I
did not go through the file extremely carefully as I know @SirWumpus
also wants to go through it and so does Landon, so I kind of rushed
through it.

faq.html

@@ -453,7 +453,7 @@
 
 <!-- BEFORE: 1st line of markdown file: faq.md -->
 <h1 id="ioccc-faq-table-of-contents">IOCCC FAQ Table of Contents</h1>
-<p>This is FAQ version <strong>29.02 2025-11-29</strong>.</p>
+<p>This is FAQ version <strong>29.03 2025-11-30</strong>.</p>
 <h2 id="entering-the-ioccc-the-bare-minimum-you-need-to-know">0. <a href="#enter_questions">Entering the IOCCC: the bare minimum you need to know</a></h2>
 <ul>
 <li><strong>Q 0.0</strong>: <a class="normal" href="#enter">How can I enter the IOCCC?</a></li>
@@ -486,6 +486,7 @@
 <li><strong>Q 1.10</strong>: <a class="normal" href="#download_submission">Can I download my submission tarball from the submit server?</a></li>
 <li><strong>Q 1.11</strong>: <a class="normal" href="#del_submission">Can I delete a submission from the submit server?</a></li>
 <li><strong>Q 1.12</strong>: <a class="normal" href="#makefile_details">What are the detailed recommendations for a submission Makefile?</a></li>
+<li><strong>Q 1.13</strong>: <a class="normal" href="#github">May I use GitHub or other services to develop my submission?</a></li>
 </ul>
 <h2 id="ioccc-judging-process">2. <a href="#judging_process">IOCCC Judging process</a></h2>
 <ul>
@@ -1698,6 +1699,14 @@ directory. And although it is not an error if this fails, if it fails because th
 Makefile does not have a clobber rule, it will be flagged by <code>mkiocccentry(1)</code>
 (you may ignore this but it does put you at a risk of violating the rules).</p>
 <p>Jump to: <a href="#">top</a></p>
+<div id="github">
+<h3 id="q-1.13-may-i-use-github-or-other-services-to-develop-my-submission">Q 1.13: May I use GitHub or other services to develop my submission?</h3>
+</div>
+<p>While you may use your own git server or a publicly available service to develop
+your submission, we <strong>DISLIKE</strong> submissions that require it. What’s more,
+since it would possibly not be anonymous it would break the rules as you are
+<strong>NOT</strong> allowed to reveal who you are.</p>
+<p>Jump to: <a href="#">top</a></p>
 <hr style="width:50%;text-align:left;margin-left:0">
 <hr style="width:50%;text-align:left;margin-left:0">
 <div id="judging_process">