See https://github.com/OpenMath/OM3/issues/153
Activity