Update Jerboa release references

ober

9ee27f991ca0d9d4f5bc603449277a475cb1f9c1

diff --git a/docs/extras.md b/docs/extras.md
index 307be97..198b715 100644
--- a/docs/extras.md
+++ b/docs/extras.md
@@ -2,7 +2,7 @@
 
 `jerboa-shell` keeps the default `jsh` binary small. The optional features are
 maintained in the separate
-[`jerboa-shell-extras`](https://git.sr.ht/~lisp/jerboa-shell-extras) project and
+[`jerboa-shell-extras`](https://git.jerboa.sh/ober/jerboa-shell-extras) project and
 are fetched only when requested. They are built into a separate binary named
 `jsh-extras`; they do not change the normal `jsh`, `jsh-macos`, or `make
 binary` build.