@ilmari I don't think the details are relevant to my blog post, so I'm not going to discuss them here, sorry.