Hi all, I plan to change the master branch of the website repository to contain the new Hugo site rather than the old Sphinx site, later today. I will help with migrating git branches if anyone needs such help. Aside: two longer messages on this topic got blocked by some weird new Gmail spam filter (abusix), so keeping this short. If this has happened to anyone else recently, that would be good to know. Cheers, Ralf