Remove mention of #memorypoolsystem IRC channel from the manual.

.travis.yml

@@ -15,7 +15,6 @@ matrix:
 notifications:
   email:
     - mps-travis@ravenbrook.com
-  irc: "irc.freenode.net#memorypoolsystem"
 # This shows how you can ask Travis to install or update packages.
 #before_install:
 #  - if test "$TRAVIS_OS_NAME" = "linux"; then sudo apt-get -qq update; fi

manual/source/_templates/contact.html

@@ -1,4 +1,3 @@
 <h4>Contact us</h4>
 
-<p class="topless"><a href="mailto:mps-questions@ravenbrook.com">mps-questions@ravenbrook.com</a><br>
-<code>#memorypoolsystem</code> on irc.freenode.net</p>
+<p class="topless"><a href="mailto:mps-questions@ravenbrook.com">mps-questions@ravenbrook.com</a></p>

manual/source/contact.rst

@@ -7,9 +7,6 @@ Contact us
   improvement, please write to `mps-questions@ravenbrook.com
   <mailto:mps-questions@ravenbrook.com>`_.
 
-* We can often be found on the ``#memorypoolsystem`` channel on
-  `irc.freenode.net <http://freenode.net/>`_.
-
 * You can also join the `mps-discussion mailing list
   <http://mailman.ravenbrook.com/mailman/listinfo/mps-discussion>`_ if
   you are interested in project progress, or if you're adapting or