replace all mentions of freenode by libera.chat

src/data.ml

@@ -629,7 +629,7 @@ module Wiki = struct
     let href = Uri.of_string ("http://canopy.mirage.io/irclogs/" ^ s2) in
     let body = Html Cow.Html.(
       p (list [
-       string "The IRC logs from our meetings in #mirage on Freenode are stored in Canopy, and available online from ";
+       string "The IRC logs from our meetings in #mirage on libera.chat are stored in Canopy, and available online from ";
        a ~href (string (Uri.to_string href))
     ])) in
     { updated = date (y,m,d,16,0);

tmpl/blog/2016-summer-hackathon.md

@@ -19,7 +19,7 @@ Some other events of note recently:
   directly to a [repository](https://github.com/hannesm/canopy-data) which is [available online](http://canopy.mirage.io/irclogs).  Thanks Amir
   and Enguerrand for all their hard work on recording the growing amount of development in MirageOS.  [Gemma Gordon](https://ocaml.io/w/User:GemmaG)
   has also joined the project and been coordinating the [meetings](https://github.com/mirage/mirage-www/wiki/Call-Agenda).  The next one is in a
-  few hours, so please join us on `#mirage` on Freenode IRC at 4pm British time if you would like to participate or are just curious!
+  few hours, so please join us on `#mirage` on Libera Chat IRC at 4pm British time if you would like to participate or are just curious!
 
 * Our participation in the [Outreachy](https://wiki.gnome.org/Outreachy/2016/MayAugust) program for 2016 has begun, and the irrepressible
   [Gina Marie Maini](http://www.gina.codes) (aka [wiredsister](http://twitter.com/wiredsis)) has been hacking on syslogd, mentored by [Mindy Preston](http://somerandomidiot.com).

tmpl/blog/2017-winter-hackathon-roundup.md

@@ -210,7 +210,7 @@ The parser returns an existential
 This is causing me a problem: the `'req_type` existential would escape.
 I do not know how to solve this problem, or if it's possible to solve it at all.
 I discussed this issue with [@infinity0](http://github.com/infinity0) after the retreat, and we're not very optimistic.
-Perhaps someone in `#ocaml` on Freenode might know a trick.
+Perhaps someone in `#ocaml` on Libera Chat might know a trick.
 
 ```OCaml
     let listen ((ic, oc) : in_channel * out_channel)

tmpl/blog/mirage-entropy.md

@@ -373,7 +373,7 @@ We intend to re-evaluate the effectiveness of this design after getting some
 experience with how it works in the wild. To this end, we particularly
 appreciate the community feedback and
 you can reach us through our [mailing list][mirageos-devel-web], or hop onto
-`freenode` and join `#mirage`.
+`libera chat` and join `#mirage`.
 
 [mirageos-devel-web]: http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
 

tmpl/blog/qubes-target.md

@@ -549,4 +549,4 @@ we can verify that things are as we expect from any VM that has the appropriate
 
 # What's Next?
 
-The implementation work above leaves a lot to be desired, noted in the [comments to the original pull request](https://github.com/mirage/mirage/pull/553#issuecomment-231529011).  We welcome further contributions in this area, particularly from QubesOS users and developers!  If you have questions or comments, please get in touch on the [mirageos-devel mailing list](https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel) or on our IRC channel at #mirage on irc.freenode.net !
+The implementation work above leaves a lot to be desired, noted in the [comments to the original pull request](https://github.com/mirage/mirage/pull/553#issuecomment-231529011).  We welcome further contributions in this area, particularly from QubesOS users and developers!  If you have questions or comments, please get in touch on the [mirageos-devel mailing list](https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel) or on our IRC channel at #mirage on irc.libera.chat !

tmpl/blog/releasing-mirage.md

@@ -63,7 +63,7 @@ as they happen.
 Since we're now also a proud Xen and Linux Foundation incubator project, our mailing
 list is shifting to [mirageos-devel@lists.xenproject.org](http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel), and we very much
 welcome comments and feedback on our efforts over there.
-The `#mirage` channel on FreeNode IRC is also growing increasingly popular, as
+The `#mirage` channel on Libera Chat IRC is also growing increasingly popular, as
 is simply reporting issues on the main [Mirage GitHub](http://github.com/mirage/mirage) repository.
 
 Several people have also commented that they want to learn OCaml properly to

tmpl/blog/the-road-to-a-dev-release.md

@@ -17,6 +17,6 @@ Here's some other significant news from the past few months:
 In the next few months, the installation notes and getting started guides will
 all be revamped to match the reality of the new tooling, so expect some flux
 there.   If you want to take an early try of Mirage beforehand, don't forget to
-hop on the `#mirage` IRC channel on Freenode and ping us with questions
+hop on the `#mirage` IRC channel on libera.chat and ping us with questions
 directly.  We will also be migrating some of the project infrastructure to be fully
 self-hosted on Mirage and Xen, and placing some of the services onto the new [xenproject.org](http://xenproject.org) infrastructure. 

tmpl/blog/welcome-to-our-summer-hackers.md

@@ -7,4 +7,4 @@ Following our participation in the [Google Summer of Code](https://mirage.io/blo
 * **Modular implicits**: [Frederic Bour](https://github.com/def-lkb), author of the popular [Merlin](https://github.com/the-lambda-church/merlin) IDE tool is also in Cambridge this summer working on adding modular implicits to the core OCaml language. Taking inspiration from [Modular Type-classes](http://www.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf) and Scala's [implicits](http://twitter.github.io/scala_school/advanced-types.html),  modular implcits allow functions to take implicit module arguments which will be filled-in by the compiler by searching the environment for a module with the appropriate type. This enables ad-hoc polymorphism in a very similar way to Haskell's type classes.
 * **Irmin storage algorithms**: Benjamin Farinier (from [ENS Lyon](http://www.ens-lyon.eu/)) and Matthieu Journault (from [ENS Cachan](http://www.ens-cachan.fr/)) will work on datastructures for the [Irmin](https://github.com/mirage/irmin/wiki/Getting-Started) storage system that the next version of Mirage will use.  They'll be grabbing copies of the [Okasaki](http://www.amazon.co.uk/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504) classic text and porting some of them into a branch-consistent form.
 
-Of course, work continues apace by the rest of the team as usual, with a [steady stream of releases](https://mirage.io/releases) that are building up to some exciting new features.  We'll be blogging about ARM support, PVHVM, Irmin storage and SSL integration just as soon as they're pushed into the stable branches.  As always, [get in touch](https://mirage.io/community/) via the IRC channel (`#mirage` on Freenode) or the mailing lists with questions.
+Of course, work continues apace by the rest of the team as usual, with a [steady stream of releases](https://mirage.io/releases) that are building up to some exciting new features.  We'll be blogging about ARM support, PVHVM, Irmin storage and SSL integration just as soon as they're pushed into the stable branches.  As always, [get in touch](https://mirage.io/community/) via the IRC channel (`#mirage` on libera.chat) or the mailing lists with questions.

tmpl/wiki/index.md

@@ -1,5 +1,5 @@
 Welcome to the MirageOS wiki. Feel free to subscribe to the [Atom](/wiki/atom.xml) feed to keep up-to-date with our progress.
-MirageOS is in beta stage and the infrastructure you see here is self-hosting. The authors hang on out #mirage on FreeNode IRC, so drop by with any questions you might have.
+MirageOS is in beta stage and the infrastructure you see here is self-hosting. The authors hang on out #mirage on libera.chat IRC, so drop by with any questions you might have.
 
 <div class="row">
 

tmpl/wiki/mirage2-to-mirage3.md

@@ -1414,4 +1414,4 @@ Hooray, we've ported another unikernel!
 
 If you're encountering problems that weren't discussed here, you may find useful information in the [release notes for Mirage version 3](https://github.com/mirage/mirage/releases/tag/v3.0.0).  The updated examples in [the mirage-skeleton](https://github.com/mirage/mirage-skeleton) may also be of use to you -- look in the `device-usage` directory for examples of unikernels that may be trying to use the same libraries as you are, or the `applications` category for richer examples on which you may have based a running unikernel from Mirage 2.
 
-If neither of those is helpful to you and you're stuck, please feel free to ask in the #mirage IRC channel on [FreeNode](https://freenode.net), via e-mail at [our mailing list, mirageos-devel](https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel), or by raising an issue on [the mirage front-end tool repository at GitHub](https://github.com/mirage/mirage/issues/new).  We welcome problem reports and contributions (including suggestions for improving this document).  Thank you for helping us improve Mirage!
+If neither of those is helpful to you and you're stuck, please feel free to ask in the #mirage IRC channel on [Libera Chat](https://libera.chat), via e-mail at [our mailing list, mirageos-devel](https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel), or by raising an issue on [the mirage front-end tool repository at GitHub](https://github.com/mirage/mirage/issues/new).  We welcome problem reports and contributions (including suggestions for improving this document).  Thank you for helping us improve Mirage!