Given the excitement over M1 and its successors, such a benchmark might be a good way to promote TeXmacs.