I just moved this blog to slightly different hosting infrastructure. Because of that I had some funky issues with character encoding yesterday. I believe that’s fixed now, but there may be other things that take me time to notice and fix up. Also, I still have a couple other things to set up so that I can FINALLY have https working for this blog. As part of this infrastructure change, I discovered and fixed at least one long-running issue that was causing problems with that. So if things are offline for a bit over the next few days or weeks – that’s why.