tools: Document external link check

 Document external link check in upgrade process. While at it: run it and fix
 broken URLs. Whoops.

Author: juliaogris

docs/development/upgrade.md

@@ -1,12 +1,13 @@
 # Upgrade Tools and Dependencies
 
 We attempt to upgrade tools and dependencies once a month. This upgrade process
-has four parts:
+has five parts:
 
 1. [Upgrade Hermitised Tools](#upgrade-hermitised-tools)
 2. [Upgrade Go Dependencies](#upgrade-go-dependencies)
 3. [Upgrade Frontend Tools](#upgrade-frontend-tools)
 4. [Upgrade Playwright](#upgrade-playwright)
+5. [Test External URLs](#test-external-urls)
 
 Each step should follow in the listed order and be committed separately. Ensure
 `make ci` still passes before continuing with the next step.
@@ -132,3 +133,11 @@ Commit changes and ensure the build still works with
 
 [Playwright]: https://playwright.dev/
 [Playwright Docker documentation]: https://playwright.dev/docs/docker
+
+## Test External URLs
+
+Run
+
+    make test-urls
+
+to check that all external URLs are reachable.

frontend/docs/development/upgrade.html

@@ -17,7 +17,7 @@ including any text or drawings that your code generates.
 ![Screenshot of the Evy web playground](img/playground-screenshot.png)
 
 [playground]: https://play.evy.dev
-[Syntax by Example]: https://docs.evy.dev/syntax_by_example.html
+[Syntax by Example]: https://docs.evy.dev/syntax-by-example.html
 [Language Specification]: https://docs.evy.dev/spec.html
 
 ## Hello world in Evy

frontend/docs/development/upgrade.htmlf

@@ -4,7 +4,7 @@
 
 ### Heading 3
 
-[link](https://exmpale.com)
+[link](README.md)
 
 ```evy
 print "code block sample"