update/fix my gnu address
[~bandali/bndl.org] / index.html
index 363ec70..ac6cf39 100644 (file)
@@ -29,7 +29,7 @@
         </tr>
         <tr>
           <td>gnu</td>
-          <td><a href="mailto:mab@gnu.org">bandali@gnu.org</a>
+          <td><a href="mailto:mab@gnu.org">mab@gnu.org</a>
           <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
         </tr>
       </tbody>
       interactive theorem proving.
     </p>
 
-    <p>
-      On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
-      and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
-      <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
-      I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
-      and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
-      activist, and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">volunteer webmaster</a>
-      for the GNU project.
-    </p>
-
     <p>
       You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>.
     </p>
       <!-- <dd></dd> -->
     </dl>
   </section>
+
+  <section>
+    <h2 id="other-interests">Other interests</h2>
+    <p>
+      On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
+      and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+      <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
+      I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
+      and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
+      activist, a <a href="https://www.gnu.org/people/webmeisters.html#bandali">volunteer webmaster</a>
+      for the GNU project, and a co-host of the <a href="https://emacsel.com">Emacs.el</a> podcast.
+    </p>
+  </section>
 </main>
 <!--# include virtual="/common/footer.html" -->