Thread:B1bl1kal/@comment-24374939-20181031141855/@comment-24374939-20181031143144

I just asked Magma about this, still waiting him to respond.