Update regarding Snap.

pages/download.html

@@ -11,15 +11,15 @@
 plugins) that extend it and make it more powerful.
 The <a href="https://github.com/coq/platform">Coq Platform</a>
 provides an easy way to install Coq and a consistent set of packages
-on Windows, macOS and many Linux distributions.</p>
+on Windows, macOS and Linux.</p>
 
 <p><strong>Beginners are encouraged to use one of the binary installers:</strong> we
 provide <a href="https://github.com/coq/platform/releases/latest">binary
-installers for Windows and macOS</a> and
-a <a href="https://snapcraft.io/coq-prover">Snap package</a>
-compatible with many Linux distributions.</p>
+installers for Windows and macOS</a>.
+A <a href="https://snapcraft.io/coq-prover">Snap package</a>
+was available, but it will not be updated beyond Coq 8.19 and may eventually be removed.</p>
 
-<p>Experienced users are advised to run the
+<p>Experienced users (and Linux users) are advised to run the
 <a href="https://github.com/coq/platform/releases/latest">
 Coq Platform scripts</a> to install from sources,
 as this will allow them to install additional packages with
@@ -29,7 +29,7 @@
 <div class="frameworklinks">
 <ul>
 <li><a href="https://github.com/coq/platform/releases/latest">Windows and macOS installers</a></li>
-<li><a href="https://snapcraft.io/coq-prover">Snap package</a></li>
+<!--<li><a href="https://snapcraft.io/coq-prover">Snap package</a></li>-->
 <li><a href="https://github.com/coq/platform/releases/latest">Platform scripts</a>
 </ul>
 </div>