Tom

I suspect it has something to do with this: https://stackoverflow.com/a/11536599 At least for me, the header is missing in exported files and that's what caused problems with youtube-dl.

The old implementation sets the leftmost part of the image as the initially visible area, making it necessary to crop images _before_ handing them over to `termux-wallpaper`, when that functionality...

Thank you very much for the swift responses and the quick implementation! Regarding issues, the following archive contains all the files from [`tip-benchmarks-0.3`](https://tip-org.github.io/tip-benchmarks-0.3.tar.gz) that still throw parse errors, accompanied by...

If I interpret [the syntax](https://www.tptp.org/cgi-bin/SeeTPTP?Category=Documents&File=SyntaxBNF) correctly, predicate names should just be `atomic_word`s, which must be escaped if not matching `[a-z][A-Za-z0-9_]*`. I'm not sure that #94 is the right approach for...

The old implementation sets the leftmost part of the image as the initially visible area, making it necessary to crop images _before_ handing them over to `termux-wallpaper`, when that functionality...