Add link to micro:bit mailing list archive (python#1409)

Author: selmen2004

templates/community/microbit.html

@@ -49,11 +49,9 @@ <h2>Community</h2>
             <li>During development, we sent some of the devices on a
             <a href="https://microworldtour.github.io/">World Tour</a>. Check
             out their travelogues for lots of cool projects and ideas.</li>
-            <li>There is a
-            <a href="https://mail.python.org/mailman/listinfo/microbit">mailing
-            list</a> for discussion of MicroPython on the BBC micro:bit. We
-            welcome contributions from developers, teachers and users
-            alike.</li>
+            <li>There was a mailing list for discussion of MicroPython on the BBC
+            micro:bit that is archived
+            <a href="https://github.com/ntoll/microbit_mailman_archive">here</a>.</li>
             <li>If old-school Internet Relay Chat (IRC) is your thing, then
             join the #microbit channel on
             <a href="https://freenode.net/">Freenode IRC</a>.</li>