New comment by xelxebar on void-packages repository

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

Comment:
@ahesford Thanks for looking at this. That's reasonable stance. I am happy to remove the pdf if that will get this merged.

That said; the pdf really is the only reasonable local documentation. The man page just provides a terse overview of the internal metamath syntax, and the README only discusses details about building. Upstream's official documentation is the pdf, which is why I figured it makes sense to include it in the package.

Cheers!