update accounts
[~bandali/bndl.org] / index.html
index 363ec70..5914a65 100644 (file)
@@ -1,4 +1,4 @@
-<!--# include virtual="/common/header.html" -->
+<!--# include virtual="common/header.html" -->
 <meta
   name="description"
   content="Amin Bandali is a graduate student at WatForm, the
@@ -6,7 +6,7 @@
         and a volunteer webmaster for the GNU project."/>
 <title>Amin Bandali</title>
 <!--#set var="bpage" value="Home" -->
-<!--# include virtual="/common/banner.html" -->
+<!--# include virtual="common/banner.html" -->
 <main>
   <section>
     <h2 id="contact">Contact</h2>
         <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:bandali@gnu.org">bandali@gnu.org</a>
           <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
         </tr>
       </tbody>
     </table>
     <p>
-      See <a href="contact">contact</a> for more, and <a href="gpg">gpg</a>
-      for sending me encrypted mail.
+      See my <a href="contact.html">contact</a> and
+      <a href="gpg.html">gpg</a> pages for more details.
     </p>
   </section>
 
       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" -->
+<!--# include virtual="common/footer.html" -->