From: Amin Bandali <bandali@gnu.org>
Date: Sun, 30 Jun 2019 06:03:28 +0000 (-0400)
Subject: add separate other interests section
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/b77d1ccc75a49d601266c5194e990c829a6f888e?ds=inline;hp=d5d7050a13996233b4bed9f6b13fa267a5fd9437

add separate other interests section
---

diff --git a/index.html b/index.html
index 363ec70..8bdeea7 100644
--- a/index.html
+++ b/index.html
@@ -61,16 +61,6 @@
       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>
@@ -128,5 +118,18 @@
       <!-- <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" -->