For millennials, move Docker more to the top.

Author: thijskh

website/download.shtml

@@ -35,13 +35,19 @@ dated <!--#echo var="dj_rc_branch_date" -->.</p>
 <a href="https://www.domjudge.org/mailman/listinfo/domjudge-announce">announcements
 mailing list</a>.</p>
 
+<h3>DOMjudge docker images</h3>
+
+<p>Official Docker images for both the domserver and judgehost are also available.
+See the <a href="https://hub.docker.com/r/domjudge/domserver/">Docker Hub
+repository for the DOMserver</a> to get started.
+</p>
+
 <h3>Debian Packages</h3>
 
-<p>There are also <a href="https://www.debian.org">Debian GNU/Linux</a> packages
+<p>There are <a href="https://www.debian.org">Debian</a> packages
 available for the amd64 architecture; other architectures might be buildable
 from the source packages.
-The packages work on Stretch and newer, and also on the various versions
-of Ubuntu.</p>
+The packages are built and tested on Debian <em>stable</em>, but also on newer versions and the various versions of Ubuntu.</p>
 
 <p>To install these packages, add our
 <a href="/repokey.asc">repository GPG key</a> directly to APT with</p>
@@ -64,13 +70,6 @@ See <a href="https://github.com/DOMjudge/domjudge-packaging/tree/master/live-ima
 the documentation here</a> for more details on how use these.
 </p>
 
-<h3>DOMjudge docker images</h3>
-
-<p>Official Docker images for both the domserver and judgehost are also available.
-See the <a href="https://hub.docker.com/r/domjudge/domserver/">Docker Hub
-repository for the DOMserver</a> to get started.
-</p>
-
 <h3>Other downloads</h3>
 
 <p>Also available are the