https://github.com/chenglou/pretext

gzip: stdin: not in gzip format