thailatex: license-problem-font-adobe-copyrighted-fragment-no-credit
thailatex: license-problem-font-adobe-copyrighted-fragment
thailatex: zero-byte-file-in-doc-directory
thailatex: extra-license-file
thailatex: script-not-executable
thailatex: wrong-name-for-upstream-changelog
