small tweaks

[~bandali/bndl.org] / index.html

diff --git a/index.html b/index.html
index 363ec70..80c27d7 100644 (file)
--- a/index.html
+++ b/index.html
@@ -25,11 +25,15 @@
         <tr>
           <td>personal</td>
           <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td>
-          <td><a href="https://git.shemshak.org/amin">git.shemshak.org/amin</a></td>
+          <td>
+            <a href="https://git.shemshak.org/amin">shemshak</a>
+            |
+            <a href="https://git.sr.ht/~bandali">sourcehut</a>
+          </td>
         </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>
@@ -61,16 +65,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 +122,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" -->