Update xsm-spec.html