On Sat, Mar 13, 2021 at 4:09 PM Pip Cet wrote: > (My main problem, as mentioned, is that the source on GitHub does not > match the binary they distribute; the binary works, the source code > recompiled even with the precise same utilities doesn't.) Hmm, that sounds like a GPL violation, not a good sign. -- bye, pabs https://wiki.debian.org/PaulWise