Sadly the "source on github" links are broken on https://pretextbook.org/examples.html