A reply coming from the member of the codemirror team is attached:
Notice that dev team has marked this issue closed, could you please check it?