Update doc to use cm-12.0 instead