Hello World

This is the customary hello-world post—a small beginning for this corner of the site. I finally found some time to redesign my old website…