add nav

diff --git a/2023/fun/index.html b/2023/fun/index.html
index 168ae84a39b96cac4b33c4288928317ae7c543af..317488f01e6af218ee21d4232db4d1782cfca591 100755 (executable)
--- a/2023/fun/index.html
+++ b/2023/fun/index.html
@@ -18,6 +18,7 @@ Contents
 </h2>
 </div>
 <div class="panel-body">
+  <p><a href="#office">Friday night "open" office</a></p>
   <p><a href="#walk">Freedom trail walk</a></p>
   <p><a href="#BoF">Birds of a Feather sessions</a></p>
 <!-- <p><a href="#job-board">Job board</a></p> -->