@edwardchampion Yes, sorry about that — whenever I publish a new post, my server (an old PC in my daughter’s apartment) tends to have a fit. But it usually recovers 🙂