commit/x-symbol: Jerry James: Remove Makefile workarounds for texi2thml 1.56k, which is more than a decade