You may have noticed that the look of this site has changed since May. You may also have noticed that the entries have not changed drastically since May. Or, you may have given up entirely on checking this site ever because there have generally been no changes since you last checked in May. What was going on in the background during all those months of mostly no change?

[recommended background music for this post...zzzzz]

Hello world.