link zip file from tutorial home page

pages/2024-sosp/index.html

@@ -36,7 +36,10 @@ <h1><span class="highlight-2">Tutorial</span>: Verifying Rust code with <a href=
           <span class="highlight"><a href="setup.html">You can find set-up instructions here.</a></span>
 
           <p class="text">
-          <span class="highlight-2">The exercises can be found on GitHub:</span><br/>(you can download them by selecting the file and then clicking "download raw file")<br/>
+          <span class="highlight-2">The exercises can be found</span> in <a href="https://github.com/verus-lang/event-sites/raw/refs/heads/main/2024-sosp-tutorial/sosp-2024-exercises.zip" download>this ZIP file (click to download)</a>. It contains all the exercise handouts (and solutions, please don't cheat!) for today.</p>
+
+          <p>
+          The exercises are also available on GitHub:
           <ul>
             <li><a href="https://github.com/verus-lang/event-sites/tree/main/2024-sosp-tutorial/exercises/verus-intro">Part 2: Introduction to Verus</a></li>
             <li><a href="https://github.com/verus-lang/event-sites/tree/main/2024-sosp-tutorial/exercises/smt-and-quantifiers">Part 3: SMT and Quantifiers</a></li>