see https://github.com/OpenMath/OM3/issues/2
Activity