@matigo So it seems – the update was automatic I think, so… Now googling “child themes” for WordPress. I think it might be too late in the evening for me to consider doing anything about that now. Looks a bit complicated to me!