I am gradually moving to a new site: https://rmosvold.github.io. The system I use for that site is much easier for me to maintain than this one, so I am excited about the change, even though it is a simpler system. I will leave the present site hanging here for a while before I complete the move by closing this one down.