Description: Remove links to Downloads in the documentation.
Forwarded: not-needed
Author: Filip Strömbäck <filip@fprg.se>
--- a/doc/05-Downloads/index.md
+++ b/doc/05-Downloads/index.md
@@ -15,62 +15,15 @@
 Binary releases for [storm:version] \([storm:date]\)
 --------------------------
 
-- [Windows (32-bit, X86)](/storm_mps_win32.zip)
-- [Windows (64-bit, X86)](/storm_mps_win64.zip)
-- [Linux (64-bit, X86)](/storm_mps_amd64.tar.gz) (should work for recent Debian-based distributions, built on Debian Bookworm)
-- [Linux (64-bit, ARM)](/storm_mps_arm64.tar.gz) (should work for recent Debian-based distributions, built on Debian Bookworm)
-
-
-Simply download and unpack the archive somewhere. Then run the `Storm` (`Storm.exe` on Windows) file
-to start the interactive top loop. There are also scripts to start bundled applications. For example
-`Progvis.sh`/`Progvis.bat` to start Progvis conveniently.
-
-On Windows, the downloaded executables should work on Windows 7 and later. They only depend on files
-that are typically installed alongside Windows.
-
-The Linux binaries are built on Debian Bookworm (oldstable at the time of writing). As such, they
-depend on the C and C++ standard libraries for GCC 12.2.0 or later. For the Ui library, Gtk+ 3.10 or
-later is required. If you wish to connect to MariaDB or MySQL databases, you also need to install
-the MariaDB client library (`libmariadb.so.3`). Similarly, if you wish to connecto to PostgreSQL,
-you need to install the PostgreSQL client library (`libpq.so.5`).
-
-A detailed tutorial for installation in different scenarios is available in
-[the tutorial](md:/Getting_Started/Installing_Storm).
-
-
-Alternative versions
---------------------
-
-Storm is available with two different garbage collectors. The default garbage collector is the MPS,
-which is performant and stable. Another collector, SMM (Storm Memory Manager) is also available. It
-is, however, currently in the experimental stage and is not currently stable. For example, it
-crashes when running the full Storm test suite. Below are binary releases for two platforms for
-those that wish to experiment:
-
-- [Windows (32-bit), SMM](/storm_smm_win32.zip)
-- [Linux (64-bit), SMM](/storm_smm_amd64.tar.gz)
+You already have Storm installed in your Debian system. If you want to find the latest
+version from upstream, you can visit [their webpage](https://storm-lang.org/).
 
 
 Source Releases
 ---------------
 
-The source code is freely available through Git at the URL `git://storm-lang.org/storm.git`. The
-repository contains submodules. To clone the entire repository, including submodules, the following
-command can be used:
-
-```
-git clone --recursive git://storm-lang.org/storm.git
-```
-
-If the submodules are missing for some reason, they can be cloned at a later time by running:
-
-```
-git submodule init
-git submodule update
-```
-
-Instructions on compiling Storm from source are available in [the getting started
-section](md:/Getting_Started/Developing_in_Storm/Compile_from_Source).
+The source for the Debian package you are using can be acquired by running `apt source storm-lang`.
+The source from upstream is available from [their webpage](https://storm-lang.org/).
 
 
 License
--- a/doc/01-Getting_Started/01-Installing_Storm/index.md
+++ b/doc/01-Getting_Started/01-Installing_Storm/index.md
@@ -1,34 +1,8 @@
 Installing Storm
 ================
 
-This page describes how to install Storm on your system. For most users, it is enough to install the
-pre-built binaries. This allows running programs written in Storm, and to develop new programs in
-Storm. If you intend to develop programs in Storm, you might want to have a look at the section
-[developing in storm](md:/Getting_Started/Developing_in_Storm), which describes how to set up a
-convenient development experience.
-
-If you plan on using Storm from a terminal, you might wish to read
-[this page](md:/Getting_Started/Running_Storm/In_the_Terminal) after installing Storm.
-
-
-Windows
--------
-
-The Windows version of Storm assumes that you have a system with an x86-based CPU and are running on
-Windows 7 or later (Windows 8 or later if you wish to use SSL connections).
-
-The [downloads](md:/Downloads) page provides two archives for Windows, one for 32-bit systems and
-one for 64-bit systems. To install Storm, simply unpack the downloaded archive to a location you
-find convenient, and run `Storm.exe`. For example, one can open the ZIP file in explorer and drag
-and drop the files into another directory.
-
-The first time you start Storm, you may see a dialog with the title "Windows has protected your PC".
-This is shown because Windows stores that the file originates from the Internet, and the file has
-not been digitally signed. To run Storm, click the link titled "More info", and then the button "Run
-anyway".
-
-The applications listed in the manual are also available as `.bat`-files. For example, to start
-Progvis, launch `Progvis.bat`.
+This page is a part of the Debian package for Storm. As such you will only find the relevant
+instructions below. See [upstream's webpage](https://storm-lang.org/) for additional instructions.
 
 
 Linux
@@ -60,46 +34,3 @@
 After this, you can start Storm by typing `storm` in your terminal. Progvis is available either
 through the command `progvis` or through the launcher menu (assumes that the `progvis` package was
 installed).
-
-
-### Installing from the Webpage
-
-The binaries on the Storm webpage are built using the `oldstable` version of Debian. They are
-therefore known to work on recent Debian-based systems (e.g. Ubuntu). They have also been tested on
-other distributions, such as Fedora and Arch Linux, and may work there as well.
-
-The binary releases contain everything that is necessary, except for core system libraries that
-are likely already installed on your system. Therefore, installing Storm is as simple as
-downloading the appropriate release from the [downloads](md:/Downloads) page, unpacking it, and
-then running the `Storm` executable.
-
-**Note:** Chrome or Chromium has a habit of automatically uncompressing `.tar.gz`-files. This
-causes some archive managers to be confused. If this happens to you, simply rename the file from
-`.tar.gz` to `.tar` and try again.
-
-On the command-line, this can be done as follows:
-
-```
-# Create a directory where you wish to install Storm:
-mkdir ~/storm
-cd ~/storm
-
-# Download the archive:
-# For x86-64/amd64:
-wget https://storm-lang.org/storm_mps_amd64.tar.gz
-# For ARM:
-wget https://storm-lang.org/storm_mps_arm64.tar.gz
-
-# Unpack the archive:
-tar xf storm_mps_*.tar.gz
-
-# Launch Storm:
-./storm
-```
-
-The archive also contains `.sh`-files to start the applications described in this manual. For
-example, to launch Progvis, run `Progvis.sh`.
-
-If Storm starts, but crashes when you import certain libraries, make sure that you have Gtk3 and
-OpenSSL installed. If Storm does not start at all, you might need to [compile it from
-source](md:/Getting_Started/Developing_in_Storm/Compile_from_Source).
--- a/doc/02-Language_Reference/01-Storm/09-Language_Server/index.md
+++ b/doc/02-Language_Reference/01-Storm/09-Language_Server/index.md
@@ -13,7 +13,7 @@
 required. The editor then communicates with the language server using the [protocol](md:Protocol)
 described on this page to inform the language server of changes, and to receive responses. For this
 to work, the editor most likely needs an appropriate plugin. Currently, an [Emacs plugin](md:Emacs_Plugin)
-is maintained alongside Storm and it is distributed alongside the [binary releases](md:/Downloads)
+is maintained alongside Storm and it is distributed alongside the [binary releases from upstream](https://storm-lang.org/Downloads/)
 of Storm. If no plugin is available for your editor, the protocol is
 described [here](md:Protocol).
 
--- a/doc/04-Programs/01-Progvis/index.md
+++ b/doc/04-Programs/01-Progvis/index.md
@@ -23,14 +23,8 @@
 Starting Progvis
 ----------------
 
-To run Progvis, first [download Storm](md:/Downloads), extract the archive, and finally click the
-`Progvis` file (either `Progvis.bat` or `Progvis.sh` depending on your system). The main window of
-Progvis will appear shortly thereafter. You can also start Progvis from the interactive Storm prompt
-by typin `progvis:main`, or from the command line by typing `storm -f progvis.main`.
-
-If you are running Ubuntu or Debian, you can install storm through your package manager (`sudo apt install progvis`).
-This will create a launcher in your system menu, and provide the command `progvis`.
-
+To run Progvis in Debian, either find the Progvis launcher (under Education), or type `progvis`
+in a terminal.
 
 Learn concurrent programming
 ----------------------------
--- a/doc/index.md
+++ b/doc/index.md
@@ -1,8 +1,6 @@
 Storm
 ========
 
-[downloadbutton:md:/Downloads]
-
 Storm is a **programming language platform** with a strong focus on **extensibility**. Storm itself
 is mostly a framework for creating languages rather than a complete compiler. The framework is
 designed to make easy to implement languages that can be extended with new syntax and semantics. Of
