diff --git a/.gitattributes b/.gitattributes
deleted file mode 100644
index d0b3d5304db9aa69873e03e6e32f65a8a4ca6706..0000000000000000000000000000000000000000
--- a/.gitattributes
+++ /dev/null
@@ -1 +0,0 @@
-releases/*.jar filter=lfs diff=lfs merge=lfs -text
diff --git a/CHANGELOG.md b/CHANGELOG.md
index d175c581d8ccf90450fe24edc666596b32af0670..66c457dd5d41c97d7f1a69808b14bf26197cf482 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -18,6 +18,6 @@
 * Fixed `:trace` not showing the parameters and return values of executed transitions.
 * Changed error handling so exception stack traces are no longer shown in the notebook. (They are still logged to the console.)
 
-## [1.0.0](./releases/prob2-jupyter-kernel-1.0.0-all.jar)
+## [1.0.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.0.0-all.jar)
 
 * Initial release.
diff --git a/README.md b/README.md
index 4ac2c862f41f19b0fd82292ff5c1297c91a8347a..9987bbd66d4bbabb892fb87fb6ae3494d0eb3d5e 100644
--- a/README.md
+++ b/README.md
@@ -20,7 +20,7 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode
 
 ### For end users
 
-1. Download the latest version of the kernel [here](https://gitlab.cs.uni-duesseldorf.de/dgelessus/prob2-jupyter-kernel/blob/master/releases/prob2-jupyter-kernel-1.0.0-all.jar).
+1. Download the latest version of the kernel [here](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.0.0-all.jar).
 2. If Jupyter is installed in a virtual environment, activate it.
 3. Run `java -jar <jarfile> install` to install the kernel. (`<jarfile>` is the name of the jar file that you just downloaded.)
 	* If you get a permission error when installing the kernel spec, add the option `--user` after `install`. This will install the kernel spec into your user home instead of the Python install directory (which may not be writable).
diff --git a/releases/prob2-jupyter-kernel-1.0.0-all.jar b/releases/prob2-jupyter-kernel-1.0.0-all.jar
deleted file mode 100644
index 09ce5cd6f649044f4029fe5beb88c9cb2bd39528..0000000000000000000000000000000000000000
--- a/releases/prob2-jupyter-kernel-1.0.0-all.jar
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:c59c4d4ae7a824074af9b5c957182ada5e2594d5bead940efe561c85278b6039
-size 93136864