These posts discuss changes I’d like to make to this site.