New comment by xelxebar on void-packages repository

https://github.com/void-linux/void-packages/pull/18584#issuecomment-582209259

Comment:
Okay, so I updated the metamath executable wrapper `mm`.
On a side note, is it even reasonable to include such a thing here?