Mathics developer here. Yes, we rewrote it. I better update the docs.