src/about.htm: Update bio

I've been essentially inactive publicly for a couple of years.  I'll
have more information in time, but the past couple of years have given
me a lot of time to reflect and redefine parts of myself.

This is step toward surfacing.

src/about.htm

@@ -17,28 +17,32 @@
   <p>
     I am a <a href="http://www.gnu.org/philosophy/">free (as in
       freedom) software</a> <a href="https://stallman.org/articles/on-hacking.html">hacker</a>
-      and user freedom activist with a focus on user privacy and security.
+      and user freedom activist with a focus on user privacy and security;
-    I am a professional software engineer dealing primarily with web development;
+        a professional software engineer;
-      compiler construction; and software architecture, and have been
+        and an <a href="https://www.gnu.org/contact/gnu-advisory">advisor to the GNU Project</a>.
-      programming for about twenty years.
-    My other personal interests include mathematics, cryptography,
-      philosophy and ethics, pedagogy, writing, law, and various other fields.
-    I also closely follow the work of
-      the <a href="http://www.gnu.org/philosophy/">Free Software
-      Foundation</a>, <a href="http://eff.org/">Electronic Frontier
-      Foundation</a>, and other entities devoted to free information and free
-      society.
   </p>
   <p>
-    I am a member of the
+    I deal primarily with compiler construction and the creation of
-      <a href="https://www.gnu.org/contact/gnu-advisory">GNU Advisory Comittee</a>;
+      domain-specific languages and abstractions to simplify the development
-      an assistant GNUisance on the maintainers team;
+      and improve the robustness of otherwise-complex systems.
-      a <a href="https://www.gnu.org/help/evaluation.html">GNU software evaluation team</a>
+    I historically did a lot of web development,
-        (gnueval) member;
+      and have been programming for over twenty
-      the author of <a href="https://gnu.org/software/easejs">GNU ease.js</a>;
+      years.
-      and volunteer for various other aspects of
+    Some of my personal interests include programming language
-        the <a href="https://gnu.org/">GNU Project</a> and
+      history and theory,
-        the <a href="https://fsf.org/">Free Software Foundation</a>.
+      formal methods and proofs,
+      logic and type theory,
+      cryptography,
+      philosophy and ethics,
+      and writing.
+    I don't claim to be good at any of those things.
+  </p>
+  <p>
+    The focus of my research in recent years has been pursuant to addressing
+    problems of practical user freedom&mdash;to
+      make various aspects of freedom in computing accessible to more users
+      in concrete and tangible ways that are meaningful to them beyond
+      abstract principle and philosophy.
   </p>
   <p>
     I am a <a href="https://stallman.org/articles/on-hacking.html">hacker</a>,
@@ -66,7 +70,9 @@
       though I may (or may not) respond to queries on websites that I am a
         member of,
       and I do host my <a href="https://pleroma.mikegerwitz.com/users/mikegerwitz">own Pleroma instance</a>,
-        which is compatible with Mastodon.
+        which is compatible with Mastodon;
+          you can follow me on the fediverse via
+          <tt>mikegerwitz@pleroma.mikegerwitz.com</tt>.
   </p>
   <p>
     (Note: This website itself is free/libre&mdash;the source code is