@pip3
Ah, I see. That rings a bell, yes. Sorry, I read too many titles and don’t always keep that kind of thing straight. I guess I assume J -> E translation, but clearly that’s not always the case. I doubt I’ll forget it now though 😳
Thank you for keeping this one coming out regularly, it’s...