In other (personal) news, I fixed my broken* Dutch language blog (*wrong favicon, no more navigation between pages), see https://loopgenot.me.