In reply to a tweet by jyasskin:@jyasskin @glazou I don’t think the CSSWG has defined the ekr yet, so I’m unsure.