Mastodom=>Pleroma migration

Mastodon was far too much load on my server.  And while the sever is
just a dinky like 1-vCPU VPS, it shouldn't _need_ any more than that; I
barely use Mastodon and I will not upgrade my server (and incur greater
costs for it).

Pleroma is compatible with Mastodon (based on ActivityPub) and much more
efficient.  We'll see how I like it.  My account transfer is happening
right now; the fediverse is a wonderful thing. :)

For some more context: Mastodon was fine for years, but after Musk's
takeover of Twitter and increased adoption of Mastodon, my sever became
burdened by all these new instances, despite _my_ use of it being
effectively nothing.

src/about.htm

@@ -65,7 +65,8 @@
     I do not make use of “social media” websites,
       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://mastodon.mikegerwitz.com/">own Mastodon instance</a>.
+      and I do host my <a href="https://pleroma.mikegerwitz.com/">own Pleroma instance</a>,
+        which is compatible with Mastodon.
   </p>
   <p>
     (Note: This website itself is free/libre&mdash;the source code is

src/header.tpl.htm

@@ -24,7 +24,7 @@
           <li><a href="/talks">Talks</a></li>
           <li><a href="/projects">Projects</a></li>
           <li><a href="/papers">Papers</a></li>
-          <li><a href="//mastodon.mikegerwitz.com/" title="My Mastodon Instance">Social</a></li>
+          <li><a href="//pleroma.mikegerwitz.com/" title="My Mastodon Instance">Social</a></li>
         </ul>
       </nav>
     </header>