diff --git a/beta.md b/beta.md
index 92958d54..438daab5 100644
--- a/beta.md
+++ b/beta.md
@@ -62,23 +62,36 @@ Pull requests are encouraged.
## Related
+ - Mailing lists for PLFA:
+ * [plfa-interest@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-interest):
+ A mailing list for users of the book.
+ This is the place to ask and answer questions, or comment on the content of the book.
+ * [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev):
+ A mailing list for contributors.
+ This is the place to discuss changes and new additions to the book in excruciating detail.
- Courses taught from the textbook:
* Philip Wadler, University of Edinburgh,
[2018]({{ site.baseurl }}/TSPL/2018/),
[2019]({{ site.baseurl }}/TSPL/2019/)
* David Darais, University of Vermont,
- [2018](http://david.darais.com/courses/fa2018-cs295A/)
+ [2018][UVM-CS-295A-2018]
* John Leo, Google Seattle, 2018--2019
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio),
[2019]({{ site.baseurl }}/PUC/2019/)
* Prabhakar Ragde, University of Waterloo,
- [2019](https://cs.uwaterloo.ca/~plragde/842/)
+ [2019][UW-CS-842-2019]
+ * Adrian King,
+ San Francisco Types, Theorems, and Programming Languages Meetup
+ [2019--2020][SFPL-Meetup-2020]
* Jeremy Siek, Indiana University,
- [2020](https://jsiek.github.io/B522-PL-Foundations/)
- - A paper describing the book appeared in [SBMF][sbmf].
+ [2020][IU-B522-2020]
+ - A paper describing the book appeared in [SBMF][SMBF].
+ - [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
-[wen]: https://wenkokke.github.io
-[phil]: https://homepages.inf.ed.ac.uk/wadler/
-[jeremy]: http://homes.sice.indiana.edu/jsiek/
[GitHub]: https://github.com/plfa/plfa.github.io/
-[sbmf]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
+[SMBF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
+[NextJournal]: https://nextjournal.com/plfa/ToC
+[UVM-CS-295A-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
+[IU-B522-2020]: https://jsiek.github.io/B522-PL-Foundations/
+[SF-PL-Meetup]: http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN
+[UW-CS-842-2019]: https://cs.uwaterloo.ca/~plragde/842/
diff --git a/index.md b/index.md
index d0463490..442544aa 100644
--- a/index.md
+++ b/index.md
@@ -9,7 +9,7 @@ proof assistant Agda.
Comments on all matters---organisation, material to add, material to
remove, parts that require better explanation, good exercises, errors,
and typos---are welcome. The book repository is on [GitHub].
-Pull requests are encouraged.
+Pull requests are encouraged.
## Front matter
@@ -47,29 +47,36 @@ Pull requests are encouraged.
## Related
+ - Mailing lists for PLFA:
+ * [plfa-interest@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-interest):
+ A mailing list for users of the book.
+ This is the place to ask and answer questions, or comment on the content of the book.
+ * [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev):
+ A mailing list for contributors.
+ This is the place to discuss changes and new additions to the book in excruciating detail.
- Courses taught from the textbook:
* Philip Wadler, University of Edinburgh,
[2018]({{ site.baseurl }}/TSPL/2018/),
[2019]({{ site.baseurl }}/TSPL/2019/)
* David Darais, University of Vermont,
- [2018](http://david.darais.com/courses/fa2018-cs295A/)
- * John Leo, Google Seattle, 2018--2019
+ [2018][UVM-CS-295A-2018]
+ * John Leo, Google Seattle, 2018--2019
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio),
[2019]({{ site.baseurl }}/PUC/2019/)
* Prabhakar Ragde, University of Waterloo,
- [2019](https://cs.uwaterloo.ca/~plragde/842/)
+ [2019][UW-CS-842-2019]
* Adrian King,
San Francisco Types, Theorems, and Programming Languages Meetup
- [2019-20](http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN)
+ [2019--2020][SFPL-Meetup-2020]
* Jeremy Siek, Indiana University,
- [2020](https://jsiek.github.io/B522-PL-Foundations/)
- - A paper describing the book appeared in [SBMF][sbmf].
- - A notebook version of the textbook
- is available at [NextJournal][nextjournal].
- It lets you edit and execute the book via a web interface.
-
-[wen]: https://github.com/wenkokke
-[phil]: https://homepages.inf.ed.ac.uk/wadler/
+ [2020][IU-B522-2020]
+ - A paper describing the book appeared in [SBMF][SMBF].
+ - [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
+
[GitHub]: https://github.com/plfa/plfa.github.io/
-[sbmf]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
-[nextjournal]: https://nextjournal.com/plfa/ToC
+[SMBF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
+[NextJournal]: https://nextjournal.com/plfa/ToC
+[UVM-CS-295A-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
+[IU-B522-2020]: https://jsiek.github.io/B522-PL-Foundations/
+[SF-PL-Meetup]: http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN
+[UW-CS-842-2019]: https://cs.uwaterloo.ca/~plragde/842/