Migrating to Jekyll

On June 25, 2022, I migrated this blog to GitHub Pages/Jekyll for a number of technical reasons explained here. Most of the posts that were worth reading have been migrated to the new site.