deploy: seL4/website@53f88b6

PR_400/Foundation/Summit/2024/social-activities.html

@@ -107,23 +107,32 @@ <h3>
     This list is in chronological order. Note that some activities require advanced bookings, by 20 September 2024.
 </p>
 <ul>
-    <li><a href="#blue-mountains">Blue Mountains bush walk</a>, 12 or 13 Oct (TBC), Free</li>
+    <li><a href="#blue-mountains">Blue Mountains bush walk</a>, 13 Oct, Free</li>
     <li><a href="#bondi-coogee">Bondi to Coogee walk</a>, 14 Oct, Free</li>
     <li><a href="#the-rocks">The Rocks guided walk</a>, 14 Oct, $35</li>
     <li><a href="#maritime-museum">Maritime Museum guided tour</a>, 19 Oct, $25</li>
 </ul>
 
 <div id="blue-mountains">
-    <h4 style="padding-top:20px">Blue Mountains bush walk (TBC)</h4>
+    <h4 style="padding-top:20px">Blue Mountains bush walk</h4>
     <img src="../../../images/summit/blue-mountains.jpg" style="padding:10px" alt="Blue Mountains" width="250">
     <p>
-        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. The details of this activity will be organised mid-September 2024. Stay tuned!
+        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. Please contact  <a title="gernot@unsw.edu.au" href="mailto:gernot@sel4.systems">Gernot Heiser</a> for further details for details.
     </p>
     <p>
-        <strong>When: </strong> Weekend of 12 & 13 October 2024 (Date TBC)
+        <strong>When: </strong>Sunday 13 Oct 2024
     </p>
     <p>
-        <strong>Contact: </strong><a href="https://www.unsw.edu.au/staff/gernot-heiser">Gernot Heiser</a>
+        Bring:
+    </p>
+    <ul>
+        <li>Hat</li>
+        <li>Sunscreen</li>
+        <li>Water bottle</li>
+        <li>Raincoat (depending on weather)</li>
+    </ul>
+    <p>
+        <strong>Contact: </strong><a title="gernot@sel4.systems" href="mailto:gernot@sel4.systems">Gernot Heiser</a>
     </p>
 </div>
 
@@ -191,7 +200,7 @@ <h4 style="padding-top:20px">A guided tour of The Rocks</h4>
 
 <div id="maritime-museum">
     <h4 style="padding-top:20px">A guided tour of the Maritime Museum</h4>
-    <img src="../../../images/summit/sydney-harbour.jpg" style="padding:10px" alt="Sydney Harbour" width="250">
+    <img src="../../../images/summit/boat.jpg" style="padding:10px" alt="Sydney Harbour" width="250">
     <p>
         Peter will lead a guided tour of the <a href="https://www.sea.museum/en/home">Australian National Maritime Museum</a>. The tour will include onboard experiences of the major vessels:
     </p>

PR_400/images/summit/boat.jpg.licence

@@ -0,0 +1,4 @@
+Copyright 2019, Mitchell Luo
+    SPDX-License-Identifier: LicenseRef-PhotoLicence
+    # Boat, Maritime Museum Sydney
+    # Free to use under the Unsplash License