diff --git a/include/mirrorlist.include.html b/include/mirrorlist.include.html
--- a/include/mirrorlist.include.html
+++ b/include/mirrorlist.include.html
@@ -1,11 +1,11 @@
 <?xml version='1.0'?>
 <!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <div class="mirrorlist">
     <h3>Site Mirrors:</h3>
     <ul>
         <li><?mirror prefix="https://www.cl.cam.ac.uk/research/hvg/Isabelle/" title="Cambridge (.uk)" ?></li>
         <li><?mirror prefix="https://isabelle.in.tum.de/"                     title="Munich (.de)"    ?></li>
-        <li><?mirror prefix="https://mirror.cse.unsw.edu.au/pub/isabelle/"    title="Sydney (.au)"    ?></li>
+        <li><?mirror prefix="https://proofcraft.systems/isabelle/"            title="Sydney (.au)"    ?></li>
         <li><?mirror prefix="https://mirror.clarkson.edu/isabelle/"           title="Potsdam, NY (.us)" ?></li>
     </ul>
 </div>